Enriched algebraic theories and monads for a system of arities

zbMath1337.18002arXiv1511.02920MaRDI QIDQ2808141

Rory B. B. Lucyshyn-Wright

Publication date: 26 May 2016

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

File on IPFS

zbMATH Keywords

ringalgebraic theoryEilenberg-Moore algebrafinitely presentable objectenriched category2-categorymonadKan extensionsymmetric monoidal closed categorycotensorenriched Lawvere theoryKleisli bicategoryweighted (co)limit

Mathematics Subject Classification ID

Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Varieties (08B99) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (14)

Morita equivalence for many-sorted enriched theories ⋮ Metric monads ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Functional distribution monads in functional-analytic contexts ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Graded algebraic theories ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Convex spaces, affine spaces, and commutants for algebraic theories ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Locally bounded enriched categories ⋮ The formal theory of relative monads ⋮ Commutants for enriched algebraic theories and monads ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ Bifold algebras and commutants for enriched algebraic theories

This page was built for publication: Enriched algebraic theories and monads for a system of arities