Mario Román
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
notes
❯
The Category Theoretic Understanding of Universal Algebra, Lawvere Theories and Monads (Hyland, Power, 2007)
The Category Theoretic Understanding of Universal Algebra, Lawvere Theories and Monads (Hyland, Power, 2007)
Mar 09, 2026
1 min read
Lawvere theory
finitary monad
Graph View
Backlinks
expressions over a Lawvere theory