Diagrammatic presentations of enriched monads and varieties for a subcategory of arities

DOI10.1007/s10485-023-09735-yarXiv2207.05184OpenAlexW4386966712MaRDI QIDQ6077388

Rory B. B. Lucyshyn-Wright, Jason Parker

Publication date: 18 October 2023

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

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

zbMATH Keywords

varietyequationenriched categorymonadoperationpresentations of monadssubcategory of arities

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) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• 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
• Unnamed Item
• Monads with arities and their associated theories
• Notions of Lawvere theory
• On the concrete representation of discrete enriched abstract clones
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Variations on algebra: Monadicity and generalisations of equational theories
• Commutants for enriched algebraic theories and monads
• Universal algebra in a closed category
• On the monadicity of finitary monads
• Functional distribution monads in functional-analytic contexts
• V-cat and V-graph
• Monads and theories
• Lawvere theories enriched over a general base
• Monads on symmetric monoidal closed categories
• Kan extensions in enriched category theory
• Enriched algebraic theories and monads for a system of arities
• An Equational Metalogic for Monadic Equational Systems
• Enriched factorization systems
• An Algebraic Presentation of Predicate Logic
• A categorical view of varieties of ordered algebras
• Finitary monads on the category of posets
• Locally bounded enriched categories
• Monads need not be endofunctors
• Instances of Computational Effects: An Algebraic Perspective
• Term Equational Systems and Logics
• Algebra valued functors in general and tensor products in particular
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Presentations and algebraic colimits of enriched monads for a subcategory of arities

This page was built for publication: Diagrammatic presentations of enriched monads and varieties for a subcategory of arities