homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The cellular -globe is the globular analog of the cellular -simplex. It is one of the basic geometric shapes for higher structures.
The cellular -globe is the globular set represented by the object in the globe category :
The 0-globe is the singleton set, the category with a single morphism.
The 1-globe is the interval category.
The 3-globe looks like this
There is a unique structure of a strict omega-category, an n-category in fact, on the -globe. This makes the collection of -globes arrange themselves into a co-globular -category, i.e. a functor
The orientals translate between simplices and globes.
See the references at strict omega-category and at oriental.
Last revised on July 25, 2022 at 22:20:26. See the history of this page for a list of all contributions to it.