Internal Kleisli categories (Q538059)

Internal categories within monoidal categories, as defined by \textit{M. Aguiar} in his Ph.D. Thesis (Cornell University, 1997), build a \(2\)-category in two different ways: one based on internal functors and natural transformations, the other on internal cofunctors and natural cotransformations. Thus, internal monads, opmonads and comonads can be defined in this framework, following [\textit{R. Street}, J. Pure Appl. Algebra 2, 149--168 (1972; Zbl 0241.18003)] and [\textit{S. Lack} and \textit{R. Street}, J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002)]. The present paper studies monads and adjunctions among internal categories and proves the existence of Kleisli objects for any such monad [\textit{G. M. Kelly} and \textit{R. Street}, Category Sem., Proc., Sydney 1972/1973, Lect. Notes Math. 420, 75--103 (1974; Zbl 0334.18016)].