We describe 2-categorical colimit notions called codescent objects of coherence data, and lax codescent objects of lax coherence data, and use them to study the inclusion, T-Algs → Ps-T-Alg, of the 2-category of strict T-algebras and strict T-morphisms of a 2-monad T into the 2-category of pseudo T-algebras and pseudo T-morphisms; and similarly the inclusion T-Algs → Lax-T-Algℓ, where Lax-T-Algℓ has lax algebras and lax morphisms rather than pseudo ones. We give sufficient conditions under which these inclusions have left adjoints. We give sufficient conditions under which the first inclusion has left adjoint for which the components of the unit are equivalences, so that every pseudo algebra is equivalent to a strict one.
|Number of pages||19|
|Journal||Journal of Pure and Applied Algebra|
|Publication status||Published - 8 Nov 2002|