A 2-Categories Companion

DOI10.1007/978-1-4419-1524-5_4zbMath1223.18003arXivmath/0702535OpenAlexW1908473049MaRDI QIDQ3400012

Publication date: 18 January 2010

Published in: Towards Higher Categories (Search for Journal in Brave)

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

zbMATH Keywords

formal category theory 2-dimensional universal algebra basic theory of 2-categories nerves of bicategories

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items

Monoidal Grothendieck construction, Discrete Morse theory and classifying spaces, Categorification of algebraic quantum field theories, Relative Cauchy evolution for linear homotopy AQFTs, Bicategories in univalent foundations, Smooth 1-dimensional algebraic quantum field theories, Homflypt skein theory, string topology and 2-categories, On lax epimorphisms and the associated factorization, Bilimits are bifinal objects, Coherence for bicategorical cartesian closed structure, Weak $\infty$-categories via terminal coalgebras, Fixed points of adjoint functors enriched in a quantaloid, Quantale-Enriched Multicategories Via Actions, Mahavier completeness and classifying diagrams, Centrally free actions of amenable $\mathrm{C}^*$-tensor categories on von Neumann algebras, Duality as a category-theoretic concept, Stable Postnikov data of Picard 2-categories, Flat vs. filtered colimits in the enriched context, Fibred 2-categories and bicategories, Quantum Programs as Kleisli Maps, Virtual concepts in the theory of accessible categories, Accessible categories with a class of limits, Categories for Dynamic Epistemic Logic, Twisted Weil Algebras for the String Lie 2‐Algebra, The category of extensions and a characterisation of $n$-exangulated functors, The linear-non-linear substitution 2-monad, Tensor products of finitely cocomplete and abelian categories, Realization of rigid $C^\ast $-bicategories as bimodules over type $\mathrm{II}_1$ von Neumann algebras, Artin glueings of toposes as adjoint split extensions, On duality and model theory for polyadic spaces, Chu connections and back diagonals between $\mathcal{Q}$-distributors, Dependent Optics, Differential 2-rigs, Distributive laws for relative monads, What is an equivalence in a higher category?, Adjunctions and defects in Landau-Ginzburg models, Unnamed Item, Relative full completeness for bicategorical Cartesian closed structure, On semiflexible, flexible and pie algebras, The cut operation on matrix factorisations, On operads, bimodules and analytic functors, Ordered combinatory algebras and realizability, Pseudo-commutativity of KZ 2-monads, Two-dimensional monadicity, The general linear 2-groupoid, Enriched duality in double categories: $\mathcal{V}$-categories and $\mathcal{V}$-cocategories, How strict is strictification?, Not every pseudoalgebra is equivalent to a strict one, Nerves of 2-categories and 2-categorification of $( \infty ,2)$-categories, Infinite-Dimensional Representations of 2-Groups, On lifting of biadjoints and lax algebras, On monoids in the category of sets and relations, Unnamed Item, Distributive laws via admissibility, A colimit decomposition for homotopy algebras in Cat, Coalgebroids in monoidal bicategories and their comodules, A 2-categorical extension of Etingof-Kazhdan quantisation, Lax familial representability and lax generic factorizations, The existential completion, 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$, Categorified quantum $\mathfrak{sl}_2$ is an inverse limit of flag 2-categories, Higher symmetries in abstract stable homotopy theories, Equivariant Simplicial Reconstruction, Coxeter categories and quantum groups, Simple transitive 2-representations of bimodules over radical square zero Nakayama algebras via localization, Frobenius algebras and homotopy fixed points of group actions on bicategories, 2-limits and 2-terminal objects are too different, Cohomological twisting of 2-linearization and extended TQFT, Categorical aspects of compact quantum groups

Cites Work