The following pages link to A general coherence result (Q1118027):
Displayed 33 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- A coherence theorem for pseudonatural transformations (Q502628) (← links)
- Coherence and strictification for self-similarity (Q504539) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- The DG-category of secondary cohomology operations (Q831302) (← links)
- A coherent approach to pseudomonads (Q1578071) (← links)
- Sigma limits in 2-categories and flat pseudofunctors (Q1649333) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- The free category with products on a multigraph (Q1825946) (← links)
- Codescent objects and coherence (Q1850103) (← links)
- The dual actions, equivariant autoequivalences and stable tilting objects (Q2027776) (← links)
- Simple transitive 2-representations of bimodules over radical square zero Nakayama algebras via localization (Q2084539) (← links)
- Finitary birepresentations of finitary bicategories (Q2121277) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← 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)
- Contravariance through enrichment (Q4563229) (← links)
- Regular patterns, substitudes, Feynman categories and operads (Q4563231) (← links)
- Props in Network Theory (Q4585017) (← links)
- Parsummable categories as a strictification of symmetric monoidal categories (Q4989037) (← links)
- On Krull-Schmidt bicategories (Q5025083) (← links)
- Coherence for bicategories, lax functors, and shadows (Q5037746) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Two-color Soergel Calculus and Simple Transitive 2-representations (Q5243500) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
- Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations (Q5960410) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)