Fix a meaning of $\infty$-category, however weak or strict you wish. Then an $n$-poset is an $\infty$-category such that all parallel pairs of $j$-morphisms are equivalent for $j \geq n$. Thus, up to equivalence, there is no point in mentioning anything beyond $n$-morphisms, not even whether two given parallel $n$-morphisms are equivalent. This definition makes sense as low as $n = -1$; the statement that parallel $(-1)$-morphisms are equivalent simply means that there exists an object (a $0$-morphism).

Because, by the definition of $(0,1)$-category, we have that any two $1$-morphisms with the same source and target are equivalent. Hence there is, up to equivalence, at most one morphism for every ordered pair of objects. The rest of the axioms say that this is all the information there is in a $(0,1)$-category. Therefore, by the discussion at poset – As a category with extra properties, a $(0,1)$-category is a poset. (See also thin category.)

In general, an $n$-poset is an $n$-category in which all parallel pairs of $n$-morphisms are equal.

An $\infty$-poset is the same thing as an $\infty$-category.

In the light of the general definition, one must interpret ‘is’ up to equivalence of categories. The last statement also depends on how strict your definition of $\infty$-category or $n$-category is; it is actually simpler to define $n$-posets from scratch as given above than to define them in terms of $n$-categories.

Basic theorems

The $\infty$-category of (small) $n$-posets, as a full sub-∞-category of the $\infty$-category of $\infty$-categories, is an $(n+1)$-poset. That is, $n$-posets form an $(n+1)$-poset. This is well known for small values of $n$.

Last revised on October 13, 2011 at 00:40:31.
See the history of this page for a list of all contributions to it.