Title of article :
Codescent objects and coherence
Author/Authors :
Stephen Lack، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Pages :
19
From page :
223
To page :
241
Abstract :
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.
Journal title :
Journal of Pure and Applied Algebra
Serial Year :
2002
Journal title :
Journal of Pure and Applied Algebra
Record number :
817131
Link To Document :
بازگشت