Codescent objects and coherence

DOI10.1016/S0022-4049(02)00136-6zbMath1142.18301MaRDI QIDQ1850103

Stephen Lack

Publication date: 2 December 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Algebraic Kan extensions along morphisms of internal algebra classifiers, The DG-category of secondary cohomology operations, Morita equivalence for many-sorted enriched theories, A Universal Characterisation of Codescent Objects, Logical systems. I: Internal calculi., Weak units, universal cells, and coherence via universality for bicategories, Descent Data and Absolute Kan Extensions, Hochschild homology, lax codescent, and duplicial structure, Stable Postnikov data of Picard 2-categories, \(K\)-theory for 2-categories, Which abelian tensor categories are geometric?, On Krull-Schmidt bicategories, Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem, Quasivarieties and varieties of ordered algebras: regularity and exactness, Cauchy completeness, lax epimorphisms and effective descent for split fibrations, On semiflexible, flexible and pie algebras, Accessible aspects of 2-category theory, Algebras of higher operads as enriched categories, Operads within monoidal pseudo algebras, Pseudo-commutativity of KZ 2-monads, Enhanced 2-categories and limits for lax morphisms, How strict is strictification?, Not every pseudoalgebra is equivalent to a strict one, The Eckmann-Hilton argument and higher operads, On lifting of biadjoints and lax algebras, Contravariance through enrichment, Pseudo-Kan Extensions and Descent Theory, A colimit decomposition for homotopy algebras in Cat, Morita contexts as lax functors, Unnamed Item, A 2-Categories Companion, Homotopy theory for algebras over polynomial monads, Semantic factorization and descent, Limits for lax morphisms

Cites Work

• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Coinverters and categories of fractions for categories with structure
• A general coherence result
• Two-dimensional monad theory
• Two-dimensional sheaf theory
• A coherent approach to pseudomonads
• Monads for which structures are adjoint to units
• Elementary observations on 2-categorical limits
• On product-preserving Kan extensions
• From coherent structures to universal properties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item