Notions of Lawvere theory

DOI10.1007/s10485-009-9215-2zbMath1242.18007arXiv0810.2578MaRDI QIDQ633806

Jiří Rosický, Stephen Lack

Publication date: 30 March 2011

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0810.2578

zbMATH Keywords

locally presentable category; universal algebra; enriched category; monad; Lawvere theory; sifted colimit

Mathematics Subject Classification ID

18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)

18C10: Theories (e.g., algebraic theories), structure, and semantics

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18D20: Enriched categories (over closed or monoidal categories)

Related Items

Realms: A Structure for Consolidating Knowledge about Mathematical Theories, Freyd categories are enriched Lawvere theories, Free internal groups, Two-dimensional regularity and exactness, Lawvere theories, finitary monads and Cauchy-completion, Nominal Lawvere theories: a category theoretic account of equational theories with names

Cites Work

• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Limits of small functors
• The closure of a class of colimits
• Universal algebra in a closed category
• Yoneda structures on 2-categories
• A classification of accessible categories
• Lawvere theories enriched over a general base
• Free-algebra models for the \(\pi \)-calculus
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Gabriel–Ulmer duality and Lawvere theories enriched over a general base
• Algebra and Coalgebra in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item