-category

A -category is a higher category with no restriction on the degree of morphisms, hence there exist -cells for all . These can be axiomatized in a number of ways.

#state/develop | #lang/en | #SemBr