Higher category theory is the generalization of category theory to a context where there are not only morphisms between objects, but generally k-morphisms between $(k-1)$-morphisms, for all $k \in \mathbb{N}$.
Higher category theory studies the generalization of ∞-groupoids – and hence, via the homotopy hypothesis, of topological spaces – to that of directed spaces and their combinatorial or algebraic models . It is to the theory of ∞-groupoids as category theory is to the theory of groupoids (and hence of groups).
These combinatorial or algebraic models are known as n-categories or, when $n \to \infty$, as ∞-categories or ω-categories, or, in more detail, as (n,r)-categories:
the natural number $n$ denotes the maximal dimension of non-trivial cells in the model,
while the natural number $r$ denotes the maximal dimension of the directed cells.
So an ordinary topological space or ∞-groupoid is an (∞,0)-category: it has cells of arbitrary dimension and all of them are reversible.
In contrast to that, a combinatorial or algebraic model for a directed space in which the 1-dimensional paths may not all be reversible is an (∞,1)-category: it still has cells of arbitrary dimension, but only those of dimension greater than 1 are guaranteed to be reversible.
Often it is convenient in practice to consider the case where the possible dimension $n$ of non-trivial cells is finite. This is familiar from how a topological space that happens to have vanishing homotopy groups in dimension above some $n$ – a homotopy n-type – is modeled by an n-groupoid. A fully directed version of this is an n-category, which is short for (n,n)-category: non-trivial cells up to and including dimension $n$, and all of them allowed to be non-reversible. Actually, it is possible to go on to an $(n,n+1)$-category, or $(n+1)$-poset; you can either consider than the $n$-cells are ordered, or else consider that there are irreversible $(n+1)$-cells which are indistinguishable. (Reversible indistinguishable $(n+1)$-cells are all identities and so might as well not exist.)
For low $n$ very explicit algebraic models for $n$-categories are available but in their full generality become quickly rather untractable as $n$ increases: the series starts with bicategory, tricategory and tetracategory. While bicategories have found plenty of applications, already the axioms of tricategories are rather involved and their theory mainly serves to produce the statement that there is a good semi-strictifications of tricategories called Gray-categories.
Indeed, there are many strictified models for higher categories: combinatorial or algebraic models that sacrifice full generality for a better concrete control. Notably there is a useful combinatorial/algebraic model for strict ω-categories which, while falling short, already goes a long way towards describing general higher categorical structures. In fact, by Simpson's conjecture every ω-category is equivalent to one that looks like a strict ω-category except for possibly having weak unit laws.
The challenge of describing fully general ∞-categories/ω-categories is to achieve a combinatorial or algebraic control of all the higher composition rules of higher cells. One can distinguish roughly two orthogonal approaches to dealing with the problem:
in the algebraic definition of higher category an algebraic machinery is set up that allows to concretely handle the explicit choices of composites of cells. Such machinery usually involves operadic tools in one way or other. The most sophisticated definitions of this kind are the closely related Batanin ω-category and Trimble ω-category.
On the other hand, in the geometric definition of higher category a combinatorial machinery is set up that allows to guarantee existence of composites of cells. In the simplicial models for weak ω-categories higher categories are characterized as simplicial sets with the extra property that certain composites exist. The issue here is to characterize these existence laws correctly.
The basic example for such “existence laws” is the Kan-filler condition that characterizes simplicial sets that are Kan complexes, the models for (∞,0)-categories. More general higher categories are obtained by relaxing the Kan condition in just the right way. For instance by simply restricting the Kan-condition to just a certain sub-set of all cells yields the definition of simplicial sets that are called quasi-categories. These model (∞,1)-categories.
The right further relaxation of the (weak) Kan filler condition is more involved. An approach to capture this has been given by Dominic Verity’s definition of simplicial sets that are called complicial sets and weak complicial sets.
One expects that every algebraic definition of higher categories admits a construction called a nerve that maps it to a simplicial set that would constitute the corresponding geometric model.
Another approach to handle the geometric definition of higher categories is a recursive one that uses $n$-fold simplicial sets. This is based on the notion of complete Segal space, which is essentially a variation of the concept of quasi-category. Its advantage is that its definition may be applied recursively to yield the notion of n-fold complete Segal spaces. These model (∞,n)-categories for finite $n$.
Finally, a large supply of further models exists for (∞,1)-categories in terms of enriched category theory. Simplicially enriched model categories are a highly-developed toolkit for handling presentable (∞,1)-categories. Pretriangulated dg-enriched categories and A-∞ categories are a comparably highly developed toolkit for handling stable (∞,1)-categories.
The basic concept on which higher category theory is built is the notion of k-morphism for all $k \in \mathbb{N}$, equipped with a notion of composition, such that coherence laws are satisfied.
This is what it’s all about.
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
See
One major application of higher category theory and to a large extent a driving force in developing it has been extended functorial quantum field theory. This has recently led to what may become one of the central theorems of higher category theory, the proof of the cobordism hypothesis. This roughly characterizes the (∞,n)-category of cobordisms $Bord_n$ as the free (∞,n)-category with duals on a single generator.
Since it is thought that $Bord_n$ for $n = \infty$ is essentially the cobordism spectrum, this indicates a useful way in which higher category theory subsumes and refines stable homotopy theory.
There are many different models for bringing the abstract notion of higher category onto paper.
n-category = (n,n)-category
n-poset = (n−1,n)-category
n-groupoid = (n,0)-category
For a very gentle introduction to higher category theory, try The Tale of n-Categories, which begins in “week73” of This Week’s Finds and goes on from there …; keep clicking the links.
For a slightly more formal but still pathetically easy introduction, try:
7th Conference on Category Theory and Computer Science, eds.
E. Moggi and G. Rosolini, Springer Lecture Notes in Computer Science vol. 1290, Springer, Berlin, 1997.
For a free introductory text on $n$-categories that’s full of pictures, try this:
Tom Leinster has written about “comparative $\infty$-categoriology” (to borrow a term):
Tom Leinster, A Survey of Definitions of n-Category (arXiv)
Tom Leinster, Higher Operads, Higher Categories (arXiv)
A grand picture of the theory of higher categories is drawn in
Another collection of discussions of definitions of higher categories is given at
A brief useful survey of approaches to the definition of higher categories is provided by the set of slides
The theory of quasi-categories as (∞,1)-categories has reached a point where it is well developed and being applied to a wealth of problems with
There’s a lot more to add here, even if we restrict ourselves to very general texts. (More specialized stuff should go under more specialized subcategories!)