Notions of Lawvere theory

DOI10.1007/S10485-009-9215-2zbMath1242.18007arXiv0810.2578OpenAlexW2073065349MaRDI 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 categoryuniversal algebraenriched categorymonadLawvere theorysifted colimit

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (20)

Freyd categories are enriched Lawvere theories ⋮ A categorical view of varieties of ordered algebras ⋮ Metric monads ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ The Gray tensor product via factorisation ⋮ Virtual concepts in the theory of accessible categories ⋮ On sifted colimits in the presence of pullbacks ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Varieties of ordered algebras as categories ⋮ Free internal groups ⋮ Unnamed Item ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ Two-dimensional regularity and exactness ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Locally bounded enriched categories ⋮ Monads and theories ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ Realms: A Structure for Consolidating Knowledge about Mathematical Theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Notions of Lawvere theory