Following the pattern of the notion of (n,r)-category, an -category is a higher category with non-trivial cells of at most dimension and none of them guaranteed to be reversible.
So this is what is usually simply called an n-category.
Note that it is possible to go on to an -category, or -poset. You can either consider than the -cells are ordered, or else consider that there are irreversible -cells which are indistinguishable. (Reversible indistinguishable -cells are all identities and so might as well not exist.)
Last revised on October 20, 2009 at 01:38:52. See the history of this page for a list of all contributions to it.