Kleisli categories, \(T\)-categories and internal categories (Q6603963)

It is well known [\textit{S. Eilenberg} and \textit{J. C. Moore}, Ill. J. Math. 9, 381--398 (1965; Zbl 0135.02103)] that any monad \((T,\lambda ,\mu)\) on a category \(\mathbb{E}\) determines an adjoint pair\N\[\N(U^{T},F^{T}):\mathsf{Alg\,}T\rightleftarrows\mathbb{E}\N\]\NThe Kleisli category \ of this monad [\textit{H. Kleisli}, Proc. Am. Math. Soc. 16, 544--546 (1965; Zbl 0138.01704)] is then produced by the canonical decomposition of the functor \(F^{T}\) into\N\[\N\mathbb{E}\overset{\overline{F}^{T}}{\longrightarrow}\mathsf{Kl}T\overset{K_{T}}{\longrightarrow}\mathsf{Alg\,}T\N\]\NThis paper is concerned with the Kleisli category \(\mathsf{Kl}T\).\N\NThe synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] recalls monads \((T,\lambda,\mu)\), cartesian monads, cartesian and autonomous adjunctions.\N\N\item[\S 3] recalls properties of the Kleisli category \(\mathsf{Kl}T\).\N\N\item[\S 4] briefly recalls internal categories.\N\N\item[\S 5] recalls internal groupoids and the monad \((\mathbb{G} ,\sigma,\pi)\) on \(\mathsf{Pt}\mathbb{E}\), where \((\mathbb{G},\sigma,\pi)\) is the monad on the category \(\mathsf{Pt} \mathbb{E}\) of split epimorphisms in \(\mathbb{E}\) whose category of algebras \(\mathsf{Alg}\mathbb{G}\) is known to be nothing but the category \(Grd\mathbb{E}\) of internal groupoids in \(\mathbb{E}\) [\textit{D. Bourn}, Cah. Topologie Géom. Différ. Catégoriques 28, No. 3, 197--226 (1987; Zbl 0655.18007)].\N\N\item[\S 6] discusses the simplicial description of \(T\)-categories in \(\mathsf{Kl}T\).\N\N\item[\S 7] investigates the \(T\)-categories in the setting of the \(\Sigma \)-cartesian monads, showing that some specific class of \(T\)-categories coincides with some specific class of internal categories in \(\mathsf{Kl}T\).\N\N\item[\S 8] shows that the category \(Cat\mathbb{E}\ \)of internal categories in \(\mathbb{E}\) coincides with a specific subcategory of the category of \(\mathbb{G}\)-categories\ in \(\mathsf{Pt}\mathbb{E}\).\N\N\item[\S 9] is concerned with extensions of the results of the previous sections to internal \(n\)-categories and \(n\)-groupoids.\N\N\item[\S 10] is devoted to making explicit all the results of \S 7 concerning the cartesian monad \((T_{X_{\cdot}},\lambda_{X_{\cdot}},\mu_{X_{\cdot} })\) on the slice category \(\mathbb{C}/X_{0}\) produced by any internal category \(X_{\cdot}\) in a finitely complete category \(\mathbb{C}\).\N\N\item[\S 11] is devoted to translating the results of \S 7 to the \(T\)-operads and the \(T\)-multicategories themselves to to their algebras.\N\end{itemize}