Categories for the working programmers
Live-Code Notebooks exploring monoidal programming languages
Monads
Monad categories and algebras defined by actual group theoretic examples of Action groups and η, μ Natural Transformations naturally defined and finally programmed.
Monads
Transformations η , μ
Simplex Category Δ
Δ is a category defined with finite ordered integers set as objects and non-decreasing maps as morphisms.
Simplex Category Δ
ΔSys: String and Term Rewriting for Simplex Category
EditDistance[ ]
Textual Metric Distance Function and its Categorifications
EditDistance[ ]
EditDistace algorithm and NNG
EditDistance[ ]