The following pages link to Notions of Lawvere theory (Q633806):
Displaying 21 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Free internal groups (Q421479) (← links)
- On the concrete representation of discrete enriched abstract clones (Q680310) (← links)
- On full and faithful Kan extensions (Q1273637) (← links)
- The Gray tensor product via factorisation (Q1681847) (← links)
- Monads and theories (Q2001598) (← links)
- Algebraic theories and commutativity in a sheaf topos (Q2307525) (← 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)
- Virtual concepts in the theory of accessible categories (Q2674544) (← links)
- Varieties of ordered algebras as categories (Q2686580) (← links)
- On sifted colimits in the presence of pullbacks (Q5019078) (← links)
- A categorical view of varieties of ordered algebras (Q5058361) (← links)
- Metric monads (Q5076388) (← links)
- Locally bounded enriched categories (Q5080356) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
- Presentations and algebraic colimits of enriched monads for a subcategory of arities (Q5872361) (← links)
- (Q5875346) (← links)
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388) (← links)
