An Introduction to n-Categories
John C. Baez
Abstract
An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of n-category, with an emphasis on `weak' n-categories, in which all rules governing the composition of j-morphisms hold only up to equivalence. (An n-morphism is an equivalence if it is invertible, while a j-morphism for j < n is an equivalence if it is invertible up to a (j+1)-morphism that is an equivalence.) We discuss applications of weak n-categories to various subjects including homotopy theory and topological quantum field theory, and review the definition of weak n-categories recently proposed by Dolan and the author.
Create a lesson
Related papers
Coherence Constraints for Operads, Categories and Algebras
Martin Markl, Steve Shnider
Affine Sergeev Algebra and q-Analogues of the Young Symmetrizers for Projective Representations of the Symmetric Group
Andrew Jones, Maxim Nazarov
Nonsymmetric Koornwinder polynomials and duality
Siddhartha Sahi
Capelli Identities for Classical Lie Algebras
Alexander Molev, Maxim Nazarov
On modules associated to coalgebra Galois extensions
Tomasz Brzezinski
Web bases for sl(3) are not dual canonical
Mikhail Khovanov, Greg Kuperberg