nLab n-poset

Idea

An $n$-poset is any of several concepts that generalize posets in higher category theory. In fact, $n$-posets are the same as $(n-1,\infty)$-categories.

Definition

Fix a meaning of $(\infty,\infty)$-category, however weak or strict you wish. Then an $n$-poset is a $(n-1)$-truncation of an $(\infty,\infty)$-category. As all $j$-morphisms for $j \geq n$ are equivalent in an $(n-1)$-truncated $(\infty,r)$-category, all parallel pairs of $j$-morphisms are equivalent for $j \geq n$ by definition, which means that $(n-1,\infty)$-categories are the same as $(n-1,n)$-categories. 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).

Special cases

• The concept of $(-1)$-poset is trivial.

• A $0$-poset is a truth value.

• A $1$-poset or (0,1)-category is simply a poset.

  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.)

• A $2$-poset or (1,2)-category is a locally posetal 2-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,\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,\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,\infty)$-category of (small) $n$-posets, as a full sub-(∞,∞)-category of the $(\infty,\infty)$-category of $(\infty,\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$.