The following pages link to Codescent objects and coherence (Q1850103):
Displayed 34 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Algebras of higher operads as enriched categories (Q633792) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Enhanced 2-categories and limits for lax morphisms (Q655343) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- Limits for lax morphisms (Q816648) (← links)
- The DG-category of secondary cohomology operations (Q831302) (← links)
- \(K\)-theory for 2-categories (Q1678146) (← links)
- Which abelian tensor categories are geometric? (Q1692368) (← links)
- How strict is strictification? (Q1730856) (← links)
- On semiflexible, flexible and pie algebras (Q1946170) (← links)
- A colimit decomposition for homotopy algebras in Cat (Q2015815) (← links)
- Morita contexts as lax functors (Q2015832) (← links)
- Semantic factorization and descent (Q2105683) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Morita equivalence for many-sorted enriched theories (Q2374328) (← links)
- Hochschild homology, lax codescent, and duplicial structure (Q2404189) (← links)
- Stable Postnikov data of Picard 2-categories (Q2409806) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- The Eckmann-Hilton argument and higher operads (Q2461790) (← links)
- Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem (Q2685684) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- (Q4555336) (← links)
- Contravariance through enrichment (Q4563229) (← links)
- Pseudo-Kan Extensions and Descent Theory (Q4563239) (← links)
- Descent Data and Absolute Kan Extensions (Q4994668) (← links)
- On Krull-Schmidt bicategories (Q5025083) (← links)
- A Universal Characterisation of Codescent Objects (Q5233740) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations (Q6178477) (← links)