Higher category -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. develop | en | sembr