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 morphism and a 2-cell that induce an isomorphism : given a right -module , there is a unique morphism whose composite with (repsectively ) is equal to (resp. ).
The motivating example is that of Kleisli categories for monads in Cat.
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 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 .
A Kleisli object in a 2-category is the same as an Eilenberg-Moore object in ; see opposite 2-category. Kleisli objects for monads in can be identified with Kleisli objects for comonads in .
A Kleisli object for a monad in can equivalently be defined as a particular sort of weighted 2-colimit, namely the lax colimit 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
Last revised on November 25, 2014 at 14:21:49. See the history of this page for a list of all contributions to it.