I describe how mathematical functions can be visualized by:
(1) elements and arrows
(2) Wiring diagrams
(3) fibres
(4) bouquets
(5) graphs
(6) ontology logs
(7) categories
These ideas have applications throughout mathematics and beyond. Notable applications include set theory, cooking, planning, functional programming, dependent type theory, linguistics and category theory.
Category Theory For Beginners: Cooking, Monoidal Categories and Programming
Foundations 7: Dependent Type Theory
Category Theory For Beginners: Everyday Language
Category Theory For Beginners: Introduction