Abstract: Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories, monoidal categories, or categories with finite limits, form 2-categories; and collections of 2-dimensional categorical structures, such as 2-categories or bicategories, form 3-categories. We describe a useful way in which to regard bicategories as objects of a 2-category. This is a bit surprising both for technical and for conceptual reasons. The 2-cells of this 2-category are the crucial new ingredient; they are the icons of the title. These can be thought of as ``the oplax natural transformations whose components are identities, but we shall also give a more elementary description. We describe some properties of these icons, and give applications to monoidal categories, to 2-nerves of bicategories, to 2-dimensional Lawvere theories, and to bundles of bicategories.
Recommendations
Cites work
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 1373521 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (Why is no real title available?)
- 2-nerves for bicategories
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Coherence for bicategories and indexed categories
- Coherence for tricategories
- Formal category theory: Adjointness for 2-categories
- Introduction to bicategories
- Limits for lax morphisms
- On the monadicity of finitary monads
- Premonoidal categories and notions of computation
- The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
- Three-dimensional monad theory
- Two-dimensional monad theory
- V-cat and V-graph
Cited in
(44)- Infinite loop spaces, and coherence for symmetric monoidal bicategories
- A covariant Stinespring theorem
- Inner autoequivalences in general and those of monoidal categories in particular
- How strict is strictification?
- The 2-dimensional stable homotopy hypothesis
- Toward weakly enriched categories: co-Segal categories
- On lifting of biadjoints and lax algebras
- A bicategorical version of Masuoka's theorem.
- Nerves and classifying spaces for bicategories
- Skew structures in 2-category theory and homotopy theory
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories
- On \(\infty\)-cosmoi of bicategories
- Pseudo-Kan extensions and descent theory
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The groupoid of finite sets is biinitial in the 2-category of rig categories
- Segal enriched categories and applications
- Coherent presentations of Artin monoids
- The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
- Universal properties of bicategories of polynomials
- Comparing geometric realizations of tricategories
- Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories
- Intercategories
- Not every pseudoalgebra is equivalent to a strict one
- On semiflexible, flexible and pie algebras
- The Gray tensor product via factorisation
- Strictification tensor product of 2-categories
- Accessible aspects of 2-category theory
- Iterated icons
- 2-dimensional bifunctor theorems and distributive laws
- Weak vertical composition. II: Totalities
- Stable Postnikov data of Picard 2-categories
- Comonadic base change for enriched categories
- scientific article; zbMATH DE number 7806737 (Why is no real title available?)
- Enriched categories as a free cocompletion
- Comparison of \(n\)-categorical nerves
- \(K\)-theory for 2-categories
- Homotopy coherent adjunctions and the formal theory of monads
- Intercategories: a framework for three-dimensional category theory
- Weak units, universal cells, and coherence via universality for bicategories
- Mealy morphisms of enriched categories
- An \((\infty ,2)\)-categorical pasting theorem
- Distributive laws via admissibility
- The linearity of fixed point invariants
This page was built for publication: Icons
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987490)
