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
• Category Theory For Beginners: Cooking, Mo...
Foundations 7: Dependent Type Theory
• Foundations 7: Dependent Type Theory
Category Theory For Beginners: Everyday Language
• Category Theory For Beginners: Everyday La...
Category Theory For Beginners: Introduction
• Category Theory For Beginners: Introduction