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

enriched category theory formal category theory monadicity relative adjunction relative monad virtual equipment

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)

Review text

The concept of \textit{monadicity} is fundamental in category theory. A functor \(r:D\rightarrow E\) is said to be \textit{monadic} if it exhibits \(D\) as the category of algebras for a monad on \(E\). A \textit{relative monad} is a refinement of the notion of monad that relaxes the requirement that the monad's underlying functor be an endofunctor [\textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 6014, 297--311 (2010; Zbl 1284.18010); Log. Methods Comput. Sci. 11, No. 1, Paper No. 3, 40 p. (2015; Zbl 1448.18007)]. A monad relative to a functor \(j:A\rightarrow E\) may be viewed as a generalization of the notion of monad in which the possible arities of operations for algebras are valued in \(A\), while the possible carriers for algebras are valued in \(E\).\N\NThis paper establishes two \textit{relative monadicity theorems}. The first (Theorem 4.7) is a characterization in the mode of \textit{J. Beck} [\url{https://ncatlab.org/nlab/files/Untitled+manuscript.pdf}] and \textit{R. Pare} [J. Algebra 19, 80--95 (1971; Zbl 0242.18008)], establishing that, for \(r\) to be \(j\)-monadic, it is necessary and sufficient that \(r\) admits a left \(j\)-relative adjoint and create certain colimits. The second (Theorem 6.5) is a pasting law for relatively monadic functors, which may be seen as analogues to the pasting law for pullbacks, characterizing the relative monadicity of one functor in terms of the relative monadicity of another.

Cites work

Cited in

(4)

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)