Рет қаралды 3,043
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 Be...
Foundations 7: Dependent Type Theory
• Foundations 7: Depende...
Category Theory For Beginners: Everyday Language
• Category Theory For Be...
Category Theory For Beginners: Introduction
• Category Theory For Be...