Spherical category

A **spherical category** is a concept that arises in category theory, particularly in the context of higher category theory and homotopy theory. It is generally defined as a type of category that allows for a notion of "spherical" or "n-dimensional" structures, facilitating the study of objects and morphisms in a more flexible way than traditional categories.