Mario Román

❯

❯

algebra for a monad

algebra for a monad

Jan 07, 20241 min read

String diagrams for monad and monad algebras
Algebras for Parameterized Monads (Atkey)

Back: Monad

Graph View

Backlinks

Lambek lemma
Monad
String diagrams for monad and monad algebras
algebra
initial monad algebras are not fixpoints

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID