Icons

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.

23 pages

References in corpus (2)

• 2-nerves for bicategories
• Co-rings over operads characterize morphisms

Cited by in corpus (16)

• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• Coherent presentations of Artin monoids
• The Gray tensor product via factorisation
• Accessible aspects of 2-category theory
• A covariant Stinespring theorem
• The 2-dimensional stable homotopy hypothesis
• K-theory for 2-categories
• Geometric Realizations of Tricategories
• Stable Postnikov data of Picard 2-categories
• An $(\infty ,2)$-categorical pasting theorem
• Universal properties of bicategories of polynomials
• How strict is strictification?
• Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
• Comparison of the $n$-categorical nerves
• Inner autoequivalences in general and those of monoidal categories in particular
• Cartesian double theories: A double-categorical framework for categorical doctrines