Categories for the working programmers

Live-Code Notebooks exploring monoidal programming languages

Monad categories and algebras defined by actual group theoretic examples of Action groups and η, ...

Δ is a category defined with finite ordered integers set as objects and non-decreasing maps as mo...

Textual Metric Distance Function and its Categorifications