Relative monadicity

arXiv2305.10405MaRDI QIDQ6510155FDOQ6510155

Authors: Nathanael Arkor, Dylan McDermott 

Abstract: We establish a relative monadicity theorem for relative monads with dense roots in a virtual equipment, specialising to a relative monadicity theorem for enriched relative monads. In particular, for a dense $mathbbV$-functor $jcolonAoE$, a $mathbbV$-functor $rcolonDoE$ is $j$-monadic if and only if $r$ has a left $j$-relative adjoint and creates $j$-absolute colimits. We also establish a pasting law for relative adjunctions, and examine its interaction with relative monadicity. As a consequence, we derive necessary and sufficient conditions for the composite of a $mathbbV$-functor with a $j$-monadic $mathbbV$-functor to itself be $j$-monadic.

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) 2-categories, bicategories, double categories (18N10) Proarrow equipments, Yoneda structures, KZ doctrines (lax idempotent monads) (18D65) Formal category theory (18D70)

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 Q6510155)