Its objects are the standard cellular ”-cubes”, for and its morphisms are all possible ways of mapping cubes to each other.
The cube category is the initial strict monoidal category equipped with an object together with two maps and a map such that .
Do we have a similar definiton of the globe category?
Todd: None that I know of; the globe category doesn’t carry a monoidal structure. But it reminds me that we should create an entry for Joyal’s category , used in his definition of weak -category, as this cleverly combines globes and simplices.
The cube category may also be described as the subcategory of whose objects are powers of , , and whose morphisms are generated by degeneracy maps which delete a coordinate and face maps which insert a 0 or 1 without modifying the order of coordinates. The cartesian product on restricts to a monoidal product on this subcategory, giving a strict monoidal category and indeed a pro. The basic face maps are the two inclusions , the basic degeneracy is the map , and then the general face and degeneracy maps are
These satisfy the cubical identities:
… to be inserted
The category of cubes described above has also been described as the restricted category of cubes (see the paper by Grandis and Mauri). It may be augmented in several directions, at various levels of doctrinal strength, as follows:
… to be completed?
The cube category is used to define cubical sets.
The object may be thought of as the “generic interval” and the monoidal unit as a point; thus becomes the combinatorial -cube. Indeed, the cubical set represented by is the standard cubical 0-cube, while the cubical set represented by is the standard cubical 1-cube.
An explicit description of the cube category by generators and relations is in section 2 of
Among all geometric shapes for higher structures cubes are best suited for describing Gray-like tensor products of higher structures: there is geometrically obvious way in which to combine the -cube and the -cube to the -cube . This makes into a monoidal category. It also induces the canonical monoidal structure on cubical sets and then on strict omega-categories: the Crans-Gray tensor product.
The cube category is a test category. Hence cubical sets model homotopy types (see also model structure on cubical sets). While it is not a strict test category, it can be refined to the category of cubes with “cube connection”, which is. See connection on a cubical set for more details.