Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
symmetric monoidal (∞,1)-category of spectra
Given a monad in a 2-category , the Kleisli object of is, if it exists, the universal right -module or -opalgebra. Equivalently, represents the functor that takes an object of to the category of right -modules .
This means that there is a “free” 1-morphism and a 2-morphism that induce an isomorphism : given a right -module , there is a unique morphism whose composite with (respectively ) is equal to (resp. ).
The motivating example is that of ordinary Kleisli categories for monads in the 2-category Cat, hence for ordinary monadic endofunctors on categories .
In a (locally ordered) bicategory of relations, the Kleisli object of a monad is part of a splitting of as an idempotent.
For a monad in the bicategory Prof of profunctors, its Kleisli object consists of a category equipped with a bijective-on-objects functor . The category has the same objects as , with hom-sets . Identities and composition are given by the monad unit and multiplication of .
Every functor yields a monad in , whose Kleisli object is part of the (bijective on objects, fully-faithful) factorization of .
Because of this, we can identify a monad on in with a bijective-on-objects functor .
By 2-category theoretic formal duality (see at opposite 2-category):
Kleisli objects in a 2-category are equivalently Eilenberg-Moore objects in .
Kleisli objects for monads in are equivalently Kleisli objects for comonads in .
Kleisli objects for a monad in are equivalently a particular sort of weighted 2-colimits, namely the lax colimits of the lax functor corresponding to .
An original article is
Generalization from monads to more general categories enriched in a bicategory (where “Kleisli objects” are then called “collages”) is in
Advances in Mathematics 289 (2016) 1-94 [arXiv:1301.3191, doi:10.1016/j.aim.2015.11.012]
Last revised on January 23, 2024 at 15:17:41. See the history of this page for a list of all contributions to it.