Relative monadicity

DOI10.1016/J.JALGEBRA.2024.08.040MaRDI QIDQ7035949zbMATH OpenFDO

Authors Nathanael Arkor, Dylan McDermott

Publication date 29 January 2025

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2024.08.040

zbMATH Keywords

enriched category theoryformal category theorymonadicityrelative adjunctionrelative monadvirtual equipment

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) 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) Eilenberg-Moore and Kleisli constructions for monads (18C20) Enriched categories (over closed or monoidal categories) (18D20) Proarrow equipments, Yoneda structures, KZ doctrines (lax idempotent monads) (18D65) Formal category theory (18D70) 2-categories, bicategories, double categories (18N10)

Cites work

• A notion of limit for enriched categories
• A unified framework for generalized multicategories
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• Exact completions and small sheaves
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Gabriel-Ulmer duality for categories enriched in bicategories
• Generalized enrichment of categories
• scientific article; zbMATH DE number 426297 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3477384 (Why is no real title available?)
• scientific article; zbMATH DE number 3525361 (Why is no real title available?)
• scientific article; zbMATH DE number 3567036 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1560717 (Why is no real title available?)
• scientific article; zbMATH DE number 269628 (Why is no real title available?)
• scientific article; zbMATH DE number 3287759 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• scientific article; zbMATH DE number 3411257 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• Kan extensions in enriched category theory
• Monads need not be endofunctors
• Monads need not be endofunctors
• On absolute colimits
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• Properties of dense and relative adjoint functors
• Quantitative Algebraic Reasoning
• Relative functor categories and categories of algebras
• Remarks on triples in enriched categories
• Some remarks on triples
• The formal theory of monads
• The formal theory of relative monads

Cited in

(4)

• Presheaves on Lax double functors; or, instances of models of double theories
• Double categories of profunctors
• Exponentiable virtual double categories and presheaves for double categories
• Quantitative monoidal algebra: axiomatising distance with string diagrams

This page was built for publication: Relative monadicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7035949)