Batanin omega-category


Higher category theory

higher category theory

Basic concepts

Basic theorems





Universal constructions

Extra properties and structure

1-categorical presentations



A Batanin ω\omega-category is a weak ω-category defined as an algebra over a suitable contractible globular operad. So this is an algebraic definition of higher category.

The definition is similar to that of Trimble n-category (which is actually a special case of a Batanin ω\omega-category) and similar to the definition of Grothendieck-Maltsiniotis infinity-category.


When a weak \infty-category is modeled as a module over an OO-operad, morphisms of modules F:CDF : C \to D will correspond to strict \infty functors. To get weak \infty-functors one has to resolve CC.

One way to do this is described in (Garner).


  • Michael Batanin, Monoidal globular categories as a natural environment for the theory of weak nn-categories , Advances in Mathematics 136 (1998), no. 1, 39–103.

  • Ross Street, The role of Michael Batanin’s monoidal globular categories, in Higher Category Theory, eds. E. Getzler and M. Kapranov, Contemp. Math. 230, American Mathematial Society, Providence, Rhode Island, 1998, pp. 99–116. (pdf)

Work towards establishing the homotopy hypothesis for Batanin ω\omega-groupoids can be found here:

  • Clemens Berger, A cellular nerve for higher categories, Advances in Mathematics 169, 118-175 (2002) (pdf)

A nice introduction to this subject is:

  • Eugenia Cheng, Batanin omega-groupoids and the homotopy hypothesis, (recorded lecture) from the Fields Institute Workshop on Higher Categories and their Applications, January 10, 2007.

A discussion of weak ω\omega-functors between Batanin ω\omega-categories is in

An application of Batanin weak ω\omega-groupoids to homotopy type theory appears in

Revised on November 13, 2012 19:09:29 by Stephan Alexander Spahn (