Higher category
A higher category is a category-like structure with some concept of morphisms of morphisms, perhaps morphisms of morphisms of morphisms, &c. These can be constructed and classified in many ways:
#state/develop | #lang/en | #SemBr
A higher category is a category-like structure with some concept of morphisms of morphisms, perhaps morphisms of morphisms of morphisms, &c. These can be constructed and classified in many ways:
#state/develop | #lang/en | #SemBr