A -poset is any of several concepts that generalize -posets one step in higher category theory. One does not usually here about -posets by themselves but instead as special cases of -categories.
-posets can also be called -categories. The concept generalizes to -posets.
Fix a meaning of -category, however weak or strict you wish. Then a -poset is an -category such that all parallel pairs of -morphisms are equivalent for . Thus, up to equivalence, there is no point in mentioning anything beyond -morphisms, not even whether two given parallel -morphisms are equivalent.
Last revised on March 12, 2009 at 02:02:09. See the history of this page for a list of all contributions to it.