Enriched algebraic theories and monads for a system of arities
From MaRDI portal
Publication:2808141
zbMath1337.18002arXiv1511.02920MaRDI QIDQ2808141
Publication date: 26 May 2016
Full work available at URL: https://arxiv.org/abs/1511.02920
ringalgebraic theoryEilenberg-Moore algebrafinitely presentable objectenriched category2-categorymonadKan extensionsymmetric monoidal closed categorycotensorenriched Lawvere theoryKleisli bicategoryweighted (co)limit
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 (11)
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 ⋮ Convex spaces, affine spaces, and commutants for algebraic theories ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Locally bounded enriched categories ⋮ 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