[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

nLab higher category theory

Contents

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

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 (k1)(k-1)-morphisms, for all kk \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 nn \to \infty, as ∞-categories or ω-categories, or, in more detail, as (n,r)-categories:

  • the natural number nn denotes the maximal dimension of non-trivial cells in the model,

  • while the natural number rr 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 nn 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 nn – 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 nn, and all of them allowed to be non-reversible. Actually, it is possible to go on to an (n,n+1)(n,n+1)-category, or (n+1)(n+1)-poset; you can either consider than the nn-cells are ordered, or else consider that there are irreversible (n+1)(n+1)-cells which are indistinguishable. (Reversible indistinguishable (n+1)(n+1)-cells are all identities and so might as well not exist.)

For low nn very explicit algebraic models for nn-categories are available but in their full generality become quickly rather untractable as nn 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 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 nn-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 nn.

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.

Basic concepts

The basic concept on which higher category theory is built is the notion of k-morphism for all kk \in \mathbb{N}, equipped with a notion of composition, such that coherence laws are satisfied.

This is what it’s all about.

Basic constructions

Higher presheaves

Higher universal constructions

Basic theorems

Idea of relation to other perspectives on higher structures

As outlined in the introduction to this article, one motivation for higher category theory comes from the relation of \infty -groupoids and topological spaces via the homotopy hypothesis. One can interpret the equivalence stated by the homotopy hypothesis as saying that both \infty-groupoids and topological spaces are models of the same kind of higher structures. Concretely, the higher structures in this example may be called homotopy types.

Similarly, generalizing the homotopy hypothesis, higher categories and higher directed spaces should model the same kind of higher structures: directed homotopy types. The difference between higher categories and directed spaces is that the latter notion (like topological spaces) usually relies on the continuum \mathbb{R} in its definition—as such, we can call directed spaces a ‘continuum’ (or ‘topological’) model of directed homotopy types. In contrast, higher categories usually need not rely on the continuum but are defined in combinatorial terms (as ‘sets of higher morphisms’ etc.)—as such, we may call them ‘combinatorial’ models of higher structures.

One can argue that there is also a third pole of models of higher structures, namely ‘geometric’ models (here, ‘geometric’ refers to definitions in terms of stratified manifolds; this is different from the earlier ‘geometric composition paradigm in combinatorial structures’). The argument is described, for instance, on the nn-Category Café. It underlies the idea of applying higher category theory to cobordism theory, as described in the next section. It also leads to notions of geometric higher categories.

Applications

See

Extended cobordisms

One major application of higher category theory and one of the driving forces 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 nBord_n as the free (∞,n)-category with duals on a single generator.

Models

There are many different models for bringing the abstract notion of higher category onto paper.

Via 1-categorical presentations

higher category theory

References

Review:

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 nn-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!)

Last revised on October 4, 2024 at 06:32:19. See the history of this page for a list of all contributions to it.