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:
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: