2-Dimensional Categories

DOI10.1093/OSO/9780198871378.001.0001zbMATH Open1471.18002arXiv2002.06055OpenAlexW3005564475MaRDI QIDQ3386389FDOQ3386389

Authors: Niles Johnson, Donald Yau 

Publication date: 4 January 2021

Abstract: This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.

Full work available at URL: https://arxiv.org/abs/2002.06055

Recommendations

• scientific article; zbMATH DE number 2205363
• Compact semisimple 2-categories
• The 2-category theory of quasi-categories
• On the geometry of 2-categories and their classifying spaces
• Homotopy theories of 2-categories
• 2-categorical aspects of strong shape
• Cohomology theory in 2-categories
• Accessible aspects of 2-category theory
• scientific article; zbMATH DE number 5934776
• Two-dimensional categorified Hall algebras

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Cited In (71)

• Higher dimensional categories. From double to multiple categories
• On Krull-Schmidt bicategories
• Functor of points and height functions for noncommutative Arakelov geometry
• Strictification tensor product of 2-categories
• The category of extensions and a characterisation of \(n\)-exangulated functors
• Realization of rigid \(C^\ast \)-bicategories as bimodules over type \(\mathrm{II}_1\) von Neumann algebras
• Accessible aspects of 2-category theory
• Fundamentals of compositional rewriting theory
• Multifunctorial inverse \(K\)-theory
• An \((\infty ,2)\)-categorical pasting theorem
• Biequivalences in tricategories
• Title not available (Why is that?)
• Diegetic Representation of Feedback in Open Games
• Monoid extensions and the Grothendieck construction
• Truncated affine Rozansky-Witten models as extended TQFTs
• Serre functors and graded categories
• A 2-categories companion
• Labelled cospan categories and properads
• Green 2-functors
• Iterated icons
• Icons
• Towards foundations of categorical cybernetics
• Q-system completion for \(C^\ast 2\)-categories
• A model structure for weakly horizontally invariant double categories
• A categorification of the Cartan-Eilenberg formula
• A covariant Stinespring theorem
• Title not available (Why is that?)
• Internalization and enrichment via spans and matrices in a tricategory
• Homotopy coherent mapping class group actions and excision for Hochschild complexes of modular categories
• What is an equivalence in a higher category?
• 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
• The monoidal structure of strictification
• Framed bicategories and monoidal fibrations
• Covariant quantum combinatorics with applications to zero-error communication
• Q-system completion of 2-functors
• Lax Functors, Cospans, and the Center Construction
• 2-final 2-functors
• Posets with interfaces as a model for concurrency
• On pseudofunctors sending groups to 2-groups
• Contravariance through enrichment
• Yoneda structures from 2-toposes
• A simplicial category for higher correspondences
• Representability and autoequivalence groups
• Q-system completeness of unitary connections
• Multifunctorial \(K\)-theory is an equivalence of homotopy theories
• Flow equivalence of diagram categories and Leavitt path algebras
• A planar algebraic description of conditional expectations
• The elementary construction of formal anafunctors
• Homotopy equivalent algebraic structures in multicategories and permutative categories
• Q-system completion is a 3-functor
• 2-representations and associated coalgebra 1-morphisms for locally wide finitary 2-categories
• Diffeological coarse moduli spaces of stacks over manifolds
• K-theoretic classification of inductive limit actions of fusion categories on AF-algebras
• 2-categorical aspects of strong shape
• Category seminar. Proceedings Sydney category theory seminar 1972/1973
• Gray categories with duals and their diagrams
• Bicategories of action groupoids
• Inner autoequivalences in general and those of monoidal categories in particular
• Weak vertical composition. II: Totalities
• Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products
• The category of extensions and idempotent completion
• Diagrammatics for comodule monads
• Connes fusion of spinors on loop space
• The symmetric monoidal 2-category of permutative categories
• The oplax limit of an enriched category
• Schur functors and categorified plethysm
• An introduction to Mackey and Green 2-functors
• Cartesian double theories: a double-categorical framework for categorical doctrines
• Frobenius and commutative pseudomonoids in the bicategory of spans
• A comonad for Grothendieck fibrations
• Bi-accessible and bipresentable 2-categories

This page was built for publication: 2-Dimensional Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3386389)