Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
In 2-categorical algebra, there are many kinds of morphism between objects: e.g. strict morphisms, pseudo morphisms, lax morphisms, colax morphisms, etc. Typically it is the pseudo and (co)lax morphisms that arise in practice (for instance, we are rarely interested in strict monoidal functors), but the strict morphisms tend to be simpler to work with.
In many situations, we can study the weaker kinds of morphism using the strict kinds of morphism using a weak morphism classifier. A weak morphism classifier for an object is an object such that weak morphisms are in natural bijection with strict morphisms .
Dually, a weak morphism coclassifier is an object such that weak morphisms are in natural bijection with strict morphisms .
Let be a 2-monad and denote by the 2-category of strict algebras? and strict morphisms for . Denote by the 2-category of strict algebras? and -weak morphisms for (where is pseudo, lax, colax, etc.). There is an identity-on-objects 2-functor:
If this admits a left 2-adjoint , we call this the -weak morphism classifier for . It if admits a right 2-adjoint , we call this the -weak morphism coclassifier for .
Weak morphism classifiers exist if and only if certain codescent objects exist in .
Last revised on October 3, 2024 at 18:04:21. See the history of this page for a list of all contributions to it.