nLab
category of cubes - exposition

Contents

Idea

The cube category \Box encodes one of the main geometric shapes for higher structures. It is also called the cubical category, although that term can be ambiguous.

Its objects are the standard cellular “nn-cubes”, for nn \in \mathbb{N} and its morphisms are all possible ways of mapping cubes to each other.

Definition

Definition

The cube category is the initial strict monoidal category (M,,I)(M, \otimes, I) equipped with an object intint together with two maps i 0,i 1:Iinti_0, i_1: I \to int and a map p:intIp: int \to I such that pi 0=1 I=pi 1p i_0 = 1_I = p i_1.

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 Θ\Theta, used in his definition of weak ω\omega-category, as this cleverly combines globes and simplices.

Aleks: What about cubes with connection?

The cube category may also be described as the subcategory of SetSet whose objects are powers 2 n2^n of 2={0,1}2 = \{0, 1\}, n0n \geq 0, and whose morphisms are generated by degeneracy maps 2 m2 n2^m \to 2^n which delete a coordinate and face maps which insert a 0 or 1 without modifying the order of coordinates. The cartesian product on SetSet restricts to a monoidal product \otimes on this subcategory, giving a strict monoidal category and indeed a pro. The basic face maps are the two inclusions δ 0,δ 1:12\delta^0, \delta^1: 1 \to 2, the basic degeneracy is the map σ:21\sigma: 2 \to 1, and then the general face and degeneracy maps are

δ i ε=2 i1δ ε2 ni:2 n12 n,σ i=2 i1σ2 ni:2 n2 n1\delta_i^\varepsilon = 2^{i-1} \otimes \delta^\varepsilon \otimes 2^{n-i}: 2^{n-1} \to 2^n, \qquad \sigma_i = 2^{i-1} \otimes \sigma \otimes 2^{n-i}: 2^n \to 2^{n-1}

These satisfy the cubical identities:

… to be inserted …

Variants

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? …

Remarks

Properties

As a test category

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.

category: category