<p>A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9810_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Psmnd} \rightarrow \textbf{Gray}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Psmnd</mi> <mo stretchy="false">→</mo> <mi mathvariant="bold">Gray</mi> </mrow> </math></EquationSource> </InlineEquation> for which weighted limits and colimits can be considered. The 2-category of pseudoalgebras, pseudomorphisms and 2-cells is such a Gray-enriched weighted limit [<CitationRef CitationID="CR21">21</CitationRef>], however neither the Kleisli bicategory nor the 2-category of free pseudoalgebras are the analogous weighted colimit [<CitationRef CitationID="CR13">13</CitationRef>]. In this paper we describe the actual weighted colimit via a presentation, and show that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful. As a consequence, we see that biessential surjectivity on objects characterises left pseudoadjoints whose codomains have an ‘up to biequivalence’ version of the universal property for Kleisli objects. This motivates a homotopical study of Kleisli objects for pseudomonads, and to this end we show that the weight for Kleisli objects is cofibrant in the projective model structure on the enriched functor category <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9810_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="128" /> </InlineMediaObject> <EquationSource Format="TEX">\([\textbf{Psmnd}^\text {op} , \textbf{Gray}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msup> <mi mathvariant="bold">Psmnd</mi> <mtext>op</mtext> </msup> <mo>,</mo> <mi mathvariant="bold">Gray</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Enriched Kleisli Objects for Pseudomonads

  • Adrian Miranda

摘要

A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram \(\textbf{Psmnd} \rightarrow \textbf{Gray}\) Psmnd Gray for which weighted limits and colimits can be considered. The 2-category of pseudoalgebras, pseudomorphisms and 2-cells is such a Gray-enriched weighted limit [21], however neither the Kleisli bicategory nor the 2-category of free pseudoalgebras are the analogous weighted colimit [13]. In this paper we describe the actual weighted colimit via a presentation, and show that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful. As a consequence, we see that biessential surjectivity on objects characterises left pseudoadjoints whose codomains have an ‘up to biequivalence’ version of the universal property for Kleisli objects. This motivates a homotopical study of Kleisli objects for pseudomonads, and to this end we show that the weight for Kleisli objects is cofibrant in the projective model structure on the enriched functor category \([\textbf{Psmnd}^\text {op} , \textbf{Gray}]\) [ Psmnd op , Gray ] .