How strict is strictification?
From MaRDI portal
Abstract: The subject of this paper is the higher structure of the strictification adjunction, which relates the two fundamental bases of three-dimensional category theory: the -category of -categories and the tricategory of bicategories. We show that -- far from requiring the full weakness provided by the definitions of tricategory theory -- this adjunction can be enriched over the symmetric closed multicategory of bicategories defined by Verity. Moreover, we show that this adjunction underlies an adjunction of bicategory-enriched symmetric multicategories. An appendix introduces the symmetric closed multicategory of pseudo double categories, into which Verity's symmetric multicategory of bicategories embeds fully.
Recommendations
Cites work
- [article; zbMATH DE number 3131597 (Why is no real title available?)]
- [article; zbMATH DE number 5114902 (Why is no real title available?)]
- [article; zbMATH DE number 3680046 (Why is no real title available?)]
- [article; zbMATH DE number 3522182 (Why is no real title available?)]
- [article; zbMATH DE number 3606644 (Why is no real title available?)]
- [article; zbMATH DE number 1216133 (Why is no real title available?)]
- [article; zbMATH DE number 922680 (Why is no real title available?)]
- [article; zbMATH DE number 1389226 (Why is no real title available?)]
- [article; zbMATH DE number 3316072 (Why is no real title available?)]
- [article; zbMATH DE number 3339463 (Why is no real title available?)]
- [article; zbMATH DE number 3356999 (Why is no real title available?)]
- A 2-categories companion
- A Quillen model structure for 2-categories
- A Quillen model structure for bicategories
- Closed categories vs. closed multicategories
- Codescent objects and coherence
- Coherence for tricategories
- Coherence in Three-Dimensional Category Theory
- Double clubs
- ENRICHED CATEGORIES AND COHOMOLOGY
- Elementary observations on 2-categorical limits
- Enriched categories, internal categories and change of base
- Formal category theory: Adjointness for 2-categories
- Free skew monoidal categories
- General Theory of Natural Equivalences
- Higher Topos Theory (AM-170)
- Homotopy coherent category theory
- Homotopy limits for 2-categories
- Homotopy-theoretic aspects of 2-monads
- Icons
- Iterated icons
- Limits indexed by category-valued 2-functors
- Model structures on the category of small double categories
- Not every pseudoalgebra is equivalent to a strict one
- Permutative categories, multicategories and algebraic \(K\)-theory
- Pretriangulated \(A_\infty\)-categories
- Relative symmetric monoidal closed categories. I: Autoenrichment and change of base
- Representable multicategories
- Sheaves on sites as Cauchy-complete categories
- Skew monoidal categories and skew multicategories
- Skew structures in 2-category theory and homotopy theory
- Skew-closed categories
- The low-dimensional structures formed by tricategories
- The monoidal structure of strictification
- Two-dimensional monad theory
- \(A_\infty\)-algebras, \(A_\infty\)-categories and \(A_\infty\)-functors
Cited in
(9)- Coherence for adjunctions in a 3-category via string diagrams
- The monoidal structure of strictification
- scientific article; zbMATH DE number 7618929 (Why is no real title available?)
- Comonadic base change for enriched categories
- A semi-strictly generated closed structure on \textbf{Gray}-\textbf{Cat}
- Weak vertical composition
- Weak units, universal cells, and coherence via universality for bicategories
- Strictification of categories weakly enriched in symmetric monoidal categories
- Coherence in Three-Dimensional Category Theory
This page was built for publication: How strict is strictification?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1730856)
