Icons
From MaRDI portal
Publication:987490
DOI10.1007/S10485-008-9136-5zbMATH Open1205.18005arXiv0711.4657OpenAlexW4242289244MaRDI QIDQ987490FDOQ987490
Publication date: 13 August 2010
Published in: Applied Categorical Structures (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/0711.4657
Cites Work
- Premonoidal categories and notions of computation
- Introduction to bicategories
- Two-dimensional monad theory
- Coherence for tricategories
- V-cat and V-graph
- Coherence for bicategories and indexed categories
- Formal category theory: Adjointness for 2-categories
- 2-nerves for bicategories
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- On the monadicity of finitary monads
- Limits for lax morphisms
- The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (41)
- Toward weakly enriched categories: co-Segal categories
- Strictification tensor product of 2-categories
- Infinite loop spaces, and coherence for symmetric monoidal bicategories
- Comparison of \(n\)-categorical nerves
- Inner autoequivalences in general and those of monoidal categories in particular
- Accessible aspects of 2-category theory
- How strict is strictification?
- The linearity of fixed point invariants
- The 2-dimensional stable homotopy hypothesis
- 2-dimensional bifunctor theorems and distributive laws
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Distributive laws via admissibility
- Stable Postnikov data of Picard 2-categories
- A bicategorical version of Masuoka's theorem.
- Weak vertical composition. II: Totalities
- Nerves and classifying spaces for bicategories
- Iterated icons
- Enriched categories as a free cocompletion
- Weak units, universal cells, and coherence via universality for bicategories
- Title not available (Why is that?)
- The groupoid of finite sets is biinitial in the 2-category of rig categories
- Mealy morphisms of enriched categories
- A covariant Stinespring theorem
- Comparing geometric realizations of tricategories
- On \(\infty\)-cosmoi of bicategories
- Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories
- Skew structures in 2-category theory and homotopy theory
- On lifting of biadjoints and lax algebras
- Pseudo-Kan Extensions and Descent Theory
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The Gray tensor product via factorisation
- Homotopy coherent adjunctions and the formal theory of monads
- An (∞,2)-categorical pasting theorem
- \(K\)-theory for 2-categories
- Coherent presentations of Artin monoids
- On semiflexible, flexible and pie algebras
- Comonadic base change for enriched categories
- Universal properties of bicategories of polynomials
- Not every pseudoalgebra is equivalent to a strict one
- On lax transformations, adjunctions, and monads in $(\infty,2)$-categories
- Title not available (Why is that?)
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)
