# 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.**

# Transformations η , μ

<iframe height="" src="https://www.wolframcloud.com/obj/ccn2/Published/Monad_Part1.nb" style="width: 800px; height: 1000px;" width="702"></iframe>

# Simplex Category Δ

<span>Δ is a category defined with finite ordered integers set as objects and non-decreasing maps as morphisms. </span>

# ΔSys: String and Term Rewriting for Simplex Category

<iframe height="" src="https://www.wolframcloud.com/obj/ccn2/Published/term_Rewrite_morph_v2.nb" style="width: 800px; height: 1000px;" width="702"></iframe>

# EditDistance[ ]

Textual Metric Distance Function and its Categorifications

# EditDistace algorithm and NNG

<iframe src="https://www.wolframcloud.com/obj/ccn2/Published/edit_distance_note1.nb?_embed=iframe" width="600" height="800"></iframe>

# EditDistance[ ] Categorification

<iframe src="https://www.wolframcloud.com/obj/ccn2/Published/edit_distance_note2.nb?_embed=iframe" width="600" height="800"></iframe>