algebraic definition of higher categories


Higher category theory

higher category theory

Basic concepts

Basic theorems





Universal constructions

Extra properties and structure

1-categorical presentations



In an algebraic definition of (n,r)-categories composition of higher morphisms is a genuine algebraic operation. As opposed to a geometric model where composites are only guaranteed to exist, in an algebraic model there is prescription for finding these composites.

These choices may be given in an elementary way as binary composition operations as in an ordinary category, or the composition operation may be controled by sophisticated algebraic structures such as operads that, while keeping track of all specified composites, may allow large combinations of possible composition operations.

The composition operation in an algebraic model for an (n,r)(n,r)-category are subject to associativity coherence laws. On the geometric side these reflect the fact that the spaces of possible choices of composites are contractible.

Typically an algebraic model for higher categories admits a nerve operation that turns it into an equivalent geometric model. Conversely, typically one can obtain an algebraic model form a geometric model by making choices of composites.



When an (∞,1)-category of (n,r)-categories is presented by a model category, then algebraic models tend to be fibrant objects (while geometric models tend to be cofibrant objects). For instance in all the folk model structure on algebraic higher categories and groupoids, all objects are fibrant.

Last revised on September 6, 2013 at 09:23:53. See the history of this page for a list of all contributions to it.