For , an -category is like
an -truncated directed space in which -dimensional paths have a direction, while all higher dimensional paths are reversible and parallel higher dimensional paths are homotopic;
Semi-formally, -categories can be described as follows. An -category is an ∞-category such that all -morphisms are equivalences, and all parallel pairs of -morphisms are equivalent for . (One says that the -category is trivial in degree greater than .) This is the same thing as an -category in the sense of -categories.
Up to equivalence, you may assume that all equivalent pairs of -morphisms for are in fact equal, and many authorities include this as a requirement. On the other hand, you can also write down a definition of -category from scratch (without passing through -categories), and then this question never comes up. The point is that you don't talk about -morphisms for ; you stop at -morphisms.
On the Lab, the term “-category” usually means a weak -category, in which the compositions of cells obeys the usual associativity, unit, and exchange laws only up to coherent equivalence. This sort of -category is somewhat tricky to define; there are a number of proposals, not yet shown to be equivalent. By contrast, strict n-categories are easy to define, but are not sufficient for most examples when (see semistrict n-category).
A -category is a set.
A -category is an ordinary category.
Just as the collection of all (small) sets is the prototypical example of a category, so the collection of all small -categories is the prototypical example of an -category.
Actually, if you define things cleverly, then you can get an -category of all -categories. If one assumes the Axiom of Universes, then there is a sequence of Grothendieck universes
and we can say a set is -small if it is an element of . This allows us to make the following definitions:
This is a convenient way to settle size questions once and for all for finite , but it doesn't really work for -categories.
For more, see the discussion at sci.logic.
Here is a list of (some of) the proposed definitions of (weak) -category, with references, and also a list of (some of) the comparisons that have been done.
Many of these definitions are actually “truncations” of definitions of (weak) ∞-categories (aka ω-categories). Some others are truncations of a definition of (∞,n)-categories. A nice overview of (many) of these can be found in Tom Leinster’s paper “A survey of definitions of -category.”
Someone should add some more references!
Classical explicit definitions of “fully weak” -category exist for . Weak 0-categories are sets, weak 1-categories are simply categories (due to Eilenberg and Mac Lane), weak 2-categories are bicategories (due to Benabou), weak 3-categories are tricategories (due to Gordon?–Power–Street), and weak 4-categories are tetracategories (due to Todd Trimble). Going on in this way is generally admitted to be infeasible beyond .
Street's definition: an -category is a simplicial set satisfying certain horn-filling conditions. See weak complicial set and simplicial model for weak ω-categories. This is a truncation of a definition of -category. It can be specialized to yield a notion of -category. The resulting notion of -category is a quasicategory, and the resulting notion of -groupoid is a Kan complex.
Baez–Dolan definition: an -category is an opetopic set having enough -universal fillers. Alternate definitions of opetopes (aka multitopes) have been given by Hermida–Makkai–Power and Leinster; a comparison is due to Eugenia Cheng, see these three papers. Makkai’s version can do .
Penon’s definition: (someone describe this please!) Penon’s original definition turned out to be too strict (see Batanin and Cheng–Makkai) because it used reflexive globular sets, but a modification of it using globular sets is still a contender.
Trimble-style definition: An -category is a category weakly enriched over -categories, where the weakness is parametrized by an operad. This definition is inductive and thus cannot do in an obvious way, but it has been accomplished using terminal coalgebras; see Trimble n-category. Alternately, by starting with enrichment in spaces or simplicial sets, one can obtain directly a notion of (∞,n)-category. The resulting notion of (∞,1)-category is an -category.
Tamsamani?–Simpson definition: An -category is a simplicial object in -categories satisfying object-discreteness and the Segal condition. This definition is inductive (it is a different way of formalizing “iterated weak enrichment”) and thus cannot do in an obvious way. It does have a natural extension to -categories, and the resulting notion of (∞,1)-category reduces to a Segal category. The iterated version of this is that of Segal n-category. This notion of “weak enrichment” in a cartesian model category? is studied carefully in Simpson’s book Homotopy Theory of Higher Categories.
Joyal’s definition: An -category is an -cellular set satisfying horn-filling conditions. This definition can do by using -cellular sets instead of -cellular sets, and it can do by requiring different horn-filling conditions on -cellular sets. The notion of (∞,1)-category one obtains in this way is a quasicategory, and the resulting notion of -groupoid is a Kan complex. For , however, the obvious “horn-filling conditions” are not quite right; Dimitri Ara has shown how to correct them (albeit not very explicitly), obtaining a definition he calls an n-quasicategory, which form a model category Quillen equivalent to Rezk’s definition (below).
Barwick’s definition (popularized by Lurie in solving the Baez–Dolan cobordism hypothesis): an -category is an -fold simplicial topological space satisfying completeness and the Segal condition. See n-fold complete Segal space. An -category is again defined as an -category in which all -cells are essentially unique for . It is not clear whether this definition can do . An -category with this definition is also the same as a complete Segal space.
Rezk’s definition: An -category is a simplicial -cellular set satisfying fibrancy, completeness, and the Segal condition. An -category can then be defined as an -category in which all -cells are essentially unique for . This definition can potentially do , although it seems not to have been written down yet. An -category with this definition is the same as a complete Segal space. See Theta space.
All definitions produce the correct well-known notion of 1-category, up to minor inessential details.
Since all the common definitions of (∞,1)-category are known to be equivalent (give references!), the definitions of Street, Trimble, Tamsamani–Simpson, Joyal, Barwick, and Rezk can be said to agree for -categories.
Julie Bergner has shown that all the notions of -groupoid obtained from the common notions of -category are equivalent, so the definitions of Street, Trimble, Tamsamani–Simpson, Joyal, Barwick, and Rezk can also be said to agree for -categories.
It is known that the notions of -category obtained from categories, bicategories, and tricategories model all homotopy n-types for . Thus, in these cases, the classical definitions can be said to agree with those listed in the previous example.
Nick Gurski has shown in “Nerves of bicategories as stratified simplicial sets” that Street’s definition is correct for (that is, it agrees with bicategories).
Eugenia Cheng has shown that the opetopic definition is correct for (that is, it agrees with bicategories).
Eugenia Cheng has more recently also shown that from any sequence of operads used for iterated enrichment in a Trimble-style definition, one can construct a Batanin–Leinster-style globular operad whose algebras are the -categories obtained in the Trimblean inductive manner. Not all globular operads can be obtained in this way, however, since those that arise have strict interchange.
Please add any other comparisons you are aware of!