A 2-categories companion

Abstract

This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way of these things, the choice of topics is somewhat personal. No attempt is made at either rigour or completeness. Nor is it completely introductory: you will not find a definition of bicategory; but then nor will you really need one to read it. In keeping with the philosophy of category theory, the morphisms between bicategories play more of a role than the bicategories themselves.

73 pages; published in Towards Higher Categories, eds. John C. Baez and J. Peter May, Springer, 2009

References in corpus (2)

• A Quillen model structure for Gray-categories
• Homotopy-theoretic aspects of 2-monads

Cited by in corpus (67)

• An Invitation to Higher Gauge Theory
• Compact Closed Bicategories
• Adjunctions and defects in Landau-Ginzburg models
• Cohomological Twisting of 2-Linearization and Extended TQFT
• Infinite-Dimensional Representations of 2-Groups
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Being Van Kampen is a universal property
• Monoidal Grothendieck construction
• Behavioural equivalences for coalgebras with unobservable moves
• All $(\infty ,1)$-toposes have strict univalent universes
• Adjunctions in Quantaloid-enriched Categories
• Mackey 2-functors and Mackey 2-motives
• Weak bisimulation for coalgebras over order enriched monads
• Operads as polynomial 2-monads
• Flat vs. filtered colimits in the enriched context
• The category of extensions and a characterisation of $n$-exangulated functors
• Transformation Double Categories Associated to 2-Group Actions
• Quantum Programs as Kleisli Maps
• Categorification of algebraic quantum field theories
• Tensor categories: A selective guided tour
• Coxeter categories and quantum groups
• On the moduli stack of commutative, 1-parameter formal Lie groups
• Arnold Conjecture and Morava K-theory
• On monoids in the category of sets and relations
• Morita Theory For Derived Categories: A Bicategorical Perspective
• Chu connections and back diagonals between $\mathcal{Q}$-distributors
• Fixed points of adjoint functors enriched in a quantaloid
• Generalization of Algebraic Operations via Enrichment
• Azumaya Objects in Triangulated Bicategories
• Linear Logic without Units
• Simplicial spaces, lax algebras and the 2-Segal condition
• A 2-categorical extension of Etingof-Kazhdan quantisation
• Stable Postnikov data of Picard 2-categories
• Relative Cauchy evolution for linear homotopy AQFTs
• A 2Cat-inspired model structure for double categories
• Bicategories in Univalent Foundations
• Fibrations of predicates and bicategories of relations
• Scheme representation for first-order logic
• The linear-non-linear substitution 2-monad
• On lax epimorphisms and the associated factorization
• Distributive laws for relative monads
• Cartesian Double Categories with an Emphasis on Characterizing Spans
• Bi-initial objects and bi-representations are not so different
• Dependent Optics
• On duality and model theory for polyadic spaces
• Non-Simplicial Nerves for Two-Dimensional Categorical Structures
• Representing operational semantics with enriched Lawvere theories
• Categories for Dynamic Epistemic Logic
• The general linear 2-groupoid
• How strict is strictification?
• Behavioural equivalences for timed systems
• Frobenius algebras and homotopy fixed points of group actions on bicategories
• Not every pseudoalgebra is equivalent to a strict one
• Categorifying measure theory: a roadmap
• Characterizing partitioned assemblies and realizability toposes
• Categorified quantum sl(2) is an inverse limit of flag 2-categories
• Artin glueings of toposes as adjoint split extensions
• 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$
• Transposing cartesian and other structure in double categories
• Kan Extensions in Context of Concreteness
• Pseudolimits for Tangent Categories with Applications to Equivariant Algebraic and Differential Geometry
• Categories of operators and actions of group operads
• Bi-accessible and bipresentable 2-categories
• Tensor products of finitely cocomplete and abelian categories
• A theory of 2-pro-objects, a theory of 2-model 2-categories and the 2-model structure for 2-Pro(C)
• Higher symmetries in abstract stable homotopy theories
• The Grothendieck Construction in Categorical Network Theory