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
1 view
544
149
2 weeks ago 01:56:34 2
The Good Pope: John XXIII - Full Movie by Film&Clips
3 weeks ago 00:03:06 1
A Shorter Letter
4 weeks ago 00:07:04 1
MACKLEMORE & RYAN LEWIS - CAN’T HOLD US FEAT. RAY DALTON (OFFICIAL MUSIC VIDEO)