nLab geometric shape for higher structures

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Overview

Handling higher structures such as higher categories usually involves conceiving them as conglomerates of cells of certain shape.

Examples for possible shapes used to model higher categories are

There are corresponding categories whose

  • objects are the “standard cellular shapes” of the given sort: globes, simplices, cubes, respectively. For globes, simplices, and cubes, there is one object for each natural number nn \in \mathbb{N}, so they are usually denoted [n][n]. For other sorts of shapes, there can be multiple shapes of each dimension.

  • morphisms are generated from (some of) the ways of mapping these standard cellular shapes to each other such that their cellular structure is preserved;

  • and composition of such morphisms is subject to the relations which are inherited from the geometric meaning of these maps, which says for instance that the left boundary of the top boundary of a cube is the same as the top boundary of its left boundary – these are the globular identities, the simplicial identities and the cubical identities, respectively.

The resulting categories of basic cellular shapes are

In general, there are two types of morphism in such categories, called face inclusions (or cofaces) and degeneracies. Face inclusions exhibit a lower-dimensional cell as a “face” of a higher-dimensional one, while degeneracies collapse a higher-dimensional cell down to a lower-dimensional one. All such categories have face inclusions (these are the really basic “structural” maps that determine the shapes of the cells), but some (such as Δ\Delta, \square, and Ω\Omega) include degeneracies while some (such as 𝔾\mathbb{G} and 𝕆\mathbb{O}) do not usually.

A general notion which includes all of these categories is that of a generalized Reedy category. If degeneracies are excluded, then we obtain the simpler notion of a (generalized) direct category.

A higher structure based on these geometric shapes is a presheaf on one of these categories. These are called

respectively.

There are also other notions of geometric shape which have been found useful in higher category theory, such as the shapes encapsulated in Joyal’s disk category Θ\Theta (which include both globes and simplices as special cases).

Many definitions of higher categories are given by one of these presheaves

For instance, the usual definition of strict ∞-categories is based on giving globular sets extra structure, as is the weak version of Batanin ∞-category. Similarly, n-fold categories give extra structure to cubical sets. On the other hand, the notion of quasi-categories is based on simplicial sets, while other more “homotopical” notions of higher category are based on cubical or multisimplicial techniques. In general, the “geometric” definitions can usually be thought of as a nerve of the “algebraic” ones.

Sometimes, two definitions that use different kinds of shapes nevertheless capture equivalent notions. This is hoped to be true for all proposed definitions of n-category, although they use many different kinds of shapes. On the other hand, sometimes the use of different shapes indicates a fundamentally different structure being considered. For instance, edge-symmetric nn-fold categories with connections give the same notion as globular nn-categories, while arbitrary nn-fold categories are something quite different. Moreover, even in the case where different kinds of shapes produce “equivalent” notions, it can sometimes be markedly easier to work with one kind of shape than another for some particular application.

See for instance

References

Last revised on October 26, 2019 at 15:41:13. See the history of this page for a list of all contributions to it.