Enriched Kleisli objects for pseudomonads

The category of algebras, or Eilenberg-Moore category [\textit{S. Eilenberg} and \textit{J. C. Moore}, Ill. J. Math. 9, 381--398 (1965; Zbl 0135.02103)], is a \(\boldsymbol{Cat}\)-enriched weighted limit of the data in the original monad, while the category of maps with generalized outputs, or Kleisli category, is the analogous weighted colimit [\textit{R. Street}, J. Pure Appl. Algebra 2, 149--168 (1972; Zbl 0241.18003)]. Pseudomonads generalize monads by allowing the usual monad axioms to hold up invertible modifications which are subject to further axioms. A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram\N\[\N\boldsymbol{Psmnd}\rightarrow\boldsymbol{Gray}\N\]\Nfor which weighted limits and colimits can be considered. This paper describes the actual weighted colimit via a presentation, showing that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful.\N\NThe synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] reviews 2-categories of pseudoalgebras for pseudomonads (\S 2.1) and Kleisli bicategories (\S 2.2).\N\item[\S 3] derives presentations for Kleisli objects from their universal properties as weighted colimits. \S 3.1 describes the Kleisli category of a monad via the presentation inherited from its universal property. \S 3.2 specifies the weight for Kleisli objects. \S 3.3 gives a presentation for the Kleisli object \(\mathcal{A}_{S}\) of a pseudomonad \(\left(\mathcal{A},S\right)\).\N\item[\S 4] investigates canonical comparison 2-functors induced out of Kleisli objects \(\mathcal{A}_{S}\) by pseudoadjunctions splitting \(\left(\mathcal{A},S\right)\). \S 4.1 describes the canonical comparison 2-functor from the Kleisli object \(\mathcal{A}_{S}\)\ to the Eilenberg-Moore object. \S 4.2 esatablishes bi-fully faithfulness (Theorem 4.2.1), characterizing when such comparisons are weak equivalences of 2-categories in the sense of [\textit{S. Lack}, \(K\)-Theory 26, No. 2, 171--205 (2002; Zbl 1017.18005)] (Theorem 4.2.2). \S 4.3 applies these results to simplify the description of 2-cells in \(\mathcal{A}_{S}\) (Corollary 4.3.1) and to show that left pseudoadjoints whose codomain satisfy the \(\boldsymbol{Gray}\)-enriched universal property are not closed under composition (Corollary 4.3.5).\N\item[\S 5] works towards an understanding of Kleisli objects for pseudomonads which only abides by a weaker universal property, using the tools of enrichment over monoidal model categories. \S 5.1 reviews relevant homotopical notions, including Lack's model structure on 2-\(\boldsymbol{Cat}\) and projective model structures. \S 5.2 records that \(\boldsymbol{Gray}\)-enriched Kleisli left adjoints are cofibrations in the Lack model structure (Proposition 5.1.4), establishing projective cofibrancy of the weight for Kleisli objects (Corollary 5.2.5). This is used in [\textit{A. Miranda}, ``Tricategorical universal properties via enriched homotopy theory, Preprint, \url{arXiv:2409.01837}] to clarify the relationship between the enriched universal property of \(\mathcal{A}_{S}\) as well as the weaker universal properties of more familiar Kleisli constructions for pseudomonads. \N\end{itemize}

Cites work

This page was built for publication: Enriched Kleisli objects for pseudomonads

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