2-Dimensional Categories
From MaRDI portal
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.
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
Cited in
(only showing first 100 items - show all)- Category seminar. Proceedings Sydney category theory seminar 1972/1973
- Functor of points and height functions for noncommutative Arakelov geometry
- Homotopy coherent mapping class group actions and excision for Hochschild complexes of modular categories
- 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
- A categorification of the Cartan-Eilenberg formula
- Flow equivalence of diagram categories and Leavitt path algebras
- Monoid extensions and the Grothendieck construction
- Multifunctorial inverse \(K\)-theory
- Q-system completion for \(C^\ast 2\)-categories
- 2-representations and associated coalgebra 1-morphisms for locally wide finitary 2-categories
- 2-final 2-functors
- Accessible aspects of 2-category theory
- 2-categorical aspects of strong shape
- Yoneda structures from 2-toposes
- Posets with interfaces as a model for concurrency
- A simplicial category for higher correspondences
- On pseudofunctors sending groups to 2-groups
- Realization of rigid \(C^\ast \)-bicategories as bimodules over type \(\mathrm{II}_1\) von Neumann algebras
- Multifunctorial \(K\)-theory is an equivalence of homotopy theories
- The monoidal structure of strictification
- Biequivalences in tricategories
- A 2-categories companion
- Framed bicategories and monoidal fibrations
- Contravariance through enrichment
- Coherence for tricategories
- Q-system completion is a 3-functor
- On Krull-Schmidt bicategories
- Green 2-functors
- Lax Functors, Cospans, and the Center Construction
- An \((\infty ,2)\)-categorical pasting theorem
- Homotopy equivalent algebraic structures in multicategories and permutative categories
- A planar algebraic description of conditional expectations
- The elementary construction of formal anafunctors
- Representability and autoequivalence groups
- scientific article; zbMATH DE number 5934776 (Why is no real title available?)
- Higher dimensional categories. From double to multiple categories
- Strictification tensor product of 2-categories
- Iterated icons
- scientific article; zbMATH DE number 7650583 (Why is no real title available?)
- A covariant Stinespring theorem
- Truncated affine Rozansky-Witten models as extended TQFTs
- Labelled cospan categories and properads
- Fundamentals of compositional rewriting theory
- The category of extensions and a characterisation of n-exangulated functors
- Internalization and enrichment via spans and matrices in a tricategory
- Serre functors and graded categories
- Q-system completion of 2-functors
- A model structure for weakly horizontally invariant double categories
- Diffeological coarse moduli spaces of stacks over manifolds
- K-theoretic classification of inductive limit actions of fusion categories on AF-algebras
- Diegetic Representation of Feedback in Open Games
- Towards foundations of categorical cybernetics
- What is an equivalence in a higher category?
- Q-system completeness of unitary connections
- Covariant quantum combinatorics with applications to zero-error communication
- The oplax limit of an enriched category
- Cartesian double theories: a double-categorical framework for categorical doctrines
- A comonad for Grothendieck fibrations
- Bicategories of action groupoids
- Gray categories with duals and their diagrams
- Inner autoequivalences in general and those of monoidal categories in particular
- Weak vertical composition. II: Totalities
- The category of extensions and idempotent completion
- Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products
- Diagrammatics for comodule monads
- Connes fusion of spinors on loop space
- Schur functors and categorified plethysm
- The symmetric monoidal 2-category of permutative categories
- An introduction to Mackey and Green 2-functors
- Frobenius and commutative pseudomonoids in the bicategory of spans
- Bi-accessible and bipresentable 2-categories
- Bi-invariance for uniform strategies on event structures
- Homotopy type theory as a language for diagrams of -logoses
- The bicategory of Lie groupoids within diffeological groupoids
- Monoidal relative categories model monoidal -categories
- Extensions of representation stable categories
- Integration of a categorical operad
- On extended Frobenius structures
- Interleaving distances, monoidal actions and 2-categories
- Equivalences in diagrammatic sets
- Towards 2-derivators for formal -category theory
- Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry
- Orbifold completion of 3-categories
- Presheaf automata
- Płonka adjunction
- Tensor enriched categorical generalization of the Eilenberg-Watts theorem
- Classification of track (bi)categories via group-valued 3-cocycles
- Rewriting techniques for relative coherence
- Quantum graphs, subfactors and tensor categories. I
- String-net models for pivotal bicategories
- Categorical centers and Yetter-Drinfel'd-modules as 2-categorical (bi)lax structures
- Module monoidal categories as categorification of associative algebras
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers
- Reflection structures and spin-statistics in low dimensions
- Enriched monoidal categories. I: Centers
- Flat principal 2-group bundles and flat string structures
- Infinitesimal 2-braidings from 2-shifted Poisson structures
- The elementary theory of the 2-category of small categories
- Lallement functor is a weak right multiadjoint
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)
