Lawvere theories enriched over a general base

DOI10.1016/j.jpaa.2008.07.009zbMath1158.18003OpenAlexW1993816593MaRDI QIDQ2378550

Koki Nishizawa, A. John Power

Publication date: 8 January 2009

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: http://opus.bath.ac.uk/26520/1/Power_JPAA_2009_213_3_377.pdf

zbMATH Keywords

Lawvere theoriesenriched monadsenriched theories

Mathematics Subject Classification ID

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) Algebraic structures (08A99) Categorical structures (18D99) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (16)

Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Finitary monads on the category of posets ⋮ Metric monads ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ Graded algebraic theories ⋮ Notions of Lawvere theory ⋮ Monads with arities and their associated theories ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Monads and theories ⋮ Props in Network Theory ⋮ Gabriel–Ulmer duality and Lawvere theories enriched over a general base ⋮ An enriched view on the extended finitary monad--Lawvere theory correspondence ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads

Cites Work

• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Variations on algebra: Monadicity and generalisations of equational theories
• Notions of computation and monads
• Two-dimensional monad theory
• Yoneda structures on 2-categories
• Lax naturality through enrichment
• Combining effects: sum and tensor
• Algebras, Coalgebras, Monads and Comonads
• Semantics for Algebraic Operations
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lawvere theories enriched over a general base