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.
Revised on March 12, 2009 02:02:09
by Toby Bartels