The following pages link to Notions of Lawvere theory (Q633806):
Displayed 6 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Free internal groups (Q421479) (← links)
- Two-dimensional regularity and exactness (Q2436719) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)