cubical set - exposition


Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology



Paths and cylinders

Homotopy groups

Basic facts




The definition is to be understood from the point of view of space and quantity: a cubical set is a space characterized by the fact that, and the ways in which, it may be probed by mapping standard cellular cubes into it: the set S nS_n assigned by a cubical set to the standard nn-cube [n][n] is the set of nn-cubes in this space, hence the way of mapping a standard nn-cube into this spaces.

Being a functor S: opSetS : \Box^{op} \to Set, a cubical set SS also assigns maps between its sets S nS_n of nn-cubes which determine in which way smaller cubes sit inside larger cubes.

The face maps go from sets S n+1S_{n+1} of (n+1)(n+1)-dimensional cubes to the corresponding set S nS_{n} of nn-dimensional cubes and can be thought of as sending each cube in the cubical set to one of its faces, for instance for n=1n=1 the set S 2S_2 of 2-cubes would be sent in four different ways by four different face maps to the set of 11-cubes, for instance one of the face maps would send

(a b F c d)(a b) \left( \array{ a &\to& b \\ \downarrow &\Downarrow^F& \downarrow \\ c &\to& d } \right) \;\; \mapsto \;\; \left( \array{ a &\to& b } \right)

another one would send

(a b F c d)(a c). \left( \array{ a &\to& b \\ \downarrow &\Downarrow^F& \downarrow \\ c &\to& d } \right) \;\; \mapsto \;\; \left( \array{ a \\ \downarrow \\ c } \right) \,.

On the other hand, the degeneracy maps go the other way round and send sets S nS_n of nn-cubes to sets S n+1S_{n+1} of (n+1)(n+1)-cubes by regarding an nn-cube as a degenerate or “thin” (n+1)(n+1)-cube in the various different ways that this is possible. For instance again for n=1n=1 a degeneracy map may act by sending

(a f b)(a f b Id Id Id a f b). \left( \array{ a &\stackrel{f}{\to}& b } \right) \;\; \mapsto \;\; \left( \array{ a &\stackrel{f}{\to}& b \\ \downarrow^{Id} &\Downarrow^{Id}& \downarrow^{Id} \\ a &\stackrel{f}{\to}& b } \right) \,.

Notice the IdId-labels, which indicate that the edges and faces labeled by them are “thin” in much the same way as an identity morphism is thin (notice however that a cubical set by itself is not equipped with a notion of composition of cubes. If it were, we’d call it a cubical ∞-category?).

In an ordinary cubical set all degeneracy maps act in the kind of way depicted above. One might also want to require a cubical set to contain “thin” cells between equal adjacent faces. These extra degeneracy maps act by sending 1-cells to degenerate 2-cells of the form

(a f b)(a f b f Id b Id b).\left(\array{ a&\stackrel{f}{\to}&b }\right) \;\; \mapsto \;\; \left(\array{ a & \stackrel{f}{\to} & b \\ \downarrow^{f} & \Downarrow & \downarrow^{Id} \\ b & \stackrel{Id}{\to} & b }\right) \,.

If the cubical set has this additional property, one calls it a cubical set with connection.

David Corfield: Is this cubical set the same as Pratt is talking about on p. 13 here?

“…the duality of bipointed sets, sets with two distinguished elements, and Boolean algebras without top or bottom. Contemplation of this duality, which Bill Lawvere suggested to me in a phone conversation as a simple construction of the theory of cubical sets”.

If so, given that the real interval is a final coalgebra on bipointed sets, is there some dual to it in cubical sets?

Also shouldn’t we have something on this page about Grandis’s use of cubical sets in directed algebraic topology, e.g., p. 3 ?

Todd Trimble: The passage from Pratt’s paper is a bit brief, but my impression is that they are discussing the Lawvere algebraic theory of two constants, which is a cartesian prop, and which contains more figures than the pro given by the monoidal category of cubes. In particular, there are diagonal maps in the cartesian prop which aren’t present in the category of cubes in the sense here (and which aren’t reflected as far as I can tell by cubical sets with connection). Perhaps we need some disambiguation then?

And please correct me if I’m wrong, but I believe the interval as final coalgebra is a coalgebra for the join-square endofunctor xxxx \mapsto x \vee x acting on the category of bipointed sets (where the two points are distinct). The condition that the two points are distinct is non-algebraic, so I can’t see a clear connection which would point to something dual in cubical sets in Pratt’s sense. But maybe there’s more going on than meets my eyes.

David Corfield: Thanks Todd. I think you’re right about Pratt’s work, see example 5 here. If his usage is at all prevalent, we should disambiguate. So, next question, which are Grandis’s cubical sets? He seems to be able to do some remarkable things with them, e.g., the link to noncommutative spaces in section 3 of this.

Todd Trimble: I believe Grandis is talking about cubes as we are here. His paper with Luca Mauri gives a rather thorough introduction to various categories of cubes (including, e.g., cubes with connections). The cartesian version doesn’t appear in that paper; I am guessing that most (all?) people who consider the category of cubes as Pratt does are in very close contact with Lawvere. The only items I found through google on this are one’s with Pratt’s name attached. But just to be on the safe side, I’ll write a brief note of disambiguation.

Cubical sets in homotopy theory

Daniel Kan’s early work on homotopy theory used cubical sets instead of simplicial sets. But then a bit later it was found that plain cubical sets suffer from three disadvantages when it comes to modelling homotopy n-types:

  1. normalization of chains is essential

  2. cubical groups are not automatically fibrant

  3. the geometric realization of cartesian products of cubical sets (see geometric realization below) tends to have the wrong homotopy type:

    for instance the geometric realization of the cubical set I×II \times I has non-trivial homotopy groups and hence does not model the topological space given by the standard square, which is contractible.

It was then realized that none of these problems is shared by simplicial set:

  1. Eilenberg and Mac Lane proved a normalisation theorem which may be found in Mac Lane’s book ‘Homology’.

  2. every simplicial group is necessarily a Kan complex and therefore fibrant in the standard model structure on simplicial sets

  3. geometric realization of simplicial sets is well behaved and in fact constitutes a cartesian monoidal Quillen equivalence

    ||:SSetTop:S() |-| : SSet \stackrel{\leftarrow}{\to} Top : S(-)

    between SSet and Top. For more on this see homotopy hypothesis.

These observations led to a widespread use of simplicial methods, while cubical methods coexisted only with a kind of underground existence, to this date.

There is, however, a proof of parts of the homotopy hypothesis also for cubical sets: their homotopy category is equivalent, after all, to the standard homotopy catgeory Top. This is described at model structure on cubical sets.

Also, it turns out that the second and third of the above disadvantages of cubical sets over simplicial sets in homotopy theory can be dealt with to some extent.

  1. The first problem can’t be avoided. See

    Rosa, Antolini and Bert Wiest, The singular cubical set of a topological space , Mathematical Proceedings of the Cambridge Philosophical Society, 126 (1), (1999)

  2. The second problem is resolved, at least when restricting to strict omega-groupoids by using cubical sets with connection. See

    A. P. Tonks, Cubical groups which are Kan, J. Pure Appl. Algebra, 81 (1), (1992)

  3. the third problem is due to the fact that the cube category is a test category but not a strict test category. However, the category of cubes with connection is a strict test category, as shown by Georges Maltsiniotis, based on work by Denis-Charles Cisinski. See connection on a cubical set for details.

Geometric realization

If XX is a cubical set, the geometric realization |X||X| may be defined as the weighted colimit (a coend) in Top

X I = nX(n)I nX \otimes_{\Box} I^{\bullet} = \int^{n \in \Box} X(n) \cdot I^n

where I :(,,I)(Top,×,1)I^{\bullet}: (\Box, \otimes, I) \to (\Top, \times, 1) is the unique (up to isomorphism) monoidal functor mapping the generating object intint to [0,1][0, 1], and for k=0,1k = 0, 1, mapping i ki_k to the inclusion {k}[0,1]\{k\} \hookrightarrow [0, 1]. This is parallel to one way of defining the geometric realization of a simplicial set. Geometric realization is a functor left adjoint to the functor

cub:TopSet opcub: Top \to Set^{\Box^{op}}

which takes a space SS to the functor hom Top(I ,S)\hom_{Top}(I^{\bullet}-, S).

Subdivision and fibrant replacement

Rick Jardine constructed a cubical subdivision functor sdsd. It is an obvious subdivision of an nn-cube, which is just a product of barycentric subdivisions of intervals. The (functorial) subdivision sdXsd X of a cubical set XX is constructed from this naive subdivision of the nn-cube in the end. See Jardine’s lecture notes. for details. There is a natural sequence of maps of cubical sets

sd nXsdXX \cdots \to sd^n X \to \cdots \to sd X \to X

defined similar to its simplicial counterparts. Let its right adjoint be denoted as usual by ExXEx X. So nn-cubes of ExXEx X are cubical maps from subdivision of the nn-cube to XX (similar to the definition of simplicial Ex-functor). We get therefore maps

XExXEx 2X X \to Ex X \to Ex^2 X \to \cdots

Let Ex XEx^\infty X be the union of the latter maps (similar to simplicial Ex Ex^\infty).

question: Is Ex XEx^\infty X a fibrant cubical set for any cubical set XX?.

Recall that a cubical set is fibrant if any cubical horn has a filler (similar to simplicial set: any Kan fibrant simplicial set has horn fillers). See also Cisinski’s book or Jardine’s lectures on cubical sets for definitions.

The first question is probably not true in general, but if we consider cubical sets with connections in the sense of Brown-Higgins (we add some degeneracy maps to cubical sets), see e.g. Maltsiniotis paper then the cubical subdivision remains the same and the Ex XEx^\infty X is defined similarly. The question is whether Ex XEx^\infty X with XX a cubical set with connections is fibrant. Is it true?

Model category structure and homotopy theory

There is a model structure on cubical sets with the same homotopy theory as the standard model structure on simplicial sets (Jardine 02), which models homotopy types/infinity-groupoids.

In fact (Jardine 02, theorem 29, theorem 30) gives an adjunction between the model categories which, while not quite a Quillen adjunction, does have unit and counit being weak equivalences. Hence by the discussion at adjoint (∞,1)-functor it should indeed follow that the derived functors of the adjunction exhibit the simplicial localizations of cubical sets equivalent to that of simplicial sets, hence make their (∞,1)-categories equivalent (hence equivalent to ∞Grpd).

This generalizes to a local model structure on cubical presheaves over any site, which has at least the same homotopy category as the corresponding local model structure on simplicial presheaves.


The notion of cubical set and of homology theory and homotopy theory based on singular cubes goes way back in the literature. Serre’s work on spectral sequences and fibre spaces was based on cubes. Kan’s early work on combinatorial homotopy was based on cubes. However the category of cubical sets was found to have a major disadvantage compared with simplicial sets, in that the cartesian product in this category failed to have the correct homotopy type. This is in striking contrast to the cartesian product on simplicial sets.

Nonetheless cubical sets continued to have a kind of underground existence.

Brown and Higgins introduced the extra structure of connections Γ i ±\Gamma^\pm_i on cubical sets, and included this structure into their cubical strict ∞-groupoids. All this structure was essential for the equivalence with crossed complexes and for the applications to homotopy theory. For example these ω\omega-groupoids have a canonical structure of thin elements, defined as any composition of elements of the form ±ϵ jx,±Γ i ±\pm \epsilon_j x, \pm \Gamma^\pm_i. Such elements have “commuting boundary”.

The geometric realisation of cubical sets with connections, and the relation with cartesian products, has been analysed by Maltsiniotis in the paper referred to below.

Nonetheless, the advantages of cubes are:

  1. Easy notions of multiple compositions (compared with the globular pasting schemes); we refer to compositions in cubical sets.

  2. Good notions of tensor product, because of the rule I m×I nI m+nI^m \times I^n \cong I^{m+n}, and hence easy conceptual handling of homotopies. This is exploited in the paper by Brown and Higgins on tensor products, and also in the following paper

  • Al-Agl, F. A., Ronnie Brown, and Steiner, R. Multiple categories: the equivalence of a globular and a cubical approach. Adv. Math. 170~(1) (2002) 71–118.

which gives a monoidal closed structure on cubical ω\omega-categories with connections, allowing the transfer of this to globular ω\omega-categories. The tensor product here generalises the Gray tensor product of 2-categories. This is also convenient in the homotopical structure on C*-algebras.

Cubical methods are a key feature in using higher homotopy groupoids to prove homotopy classification results.


Early references include

  • Jean-Pierre Serre, Homologie singulière des espaces fibrés , Ann. Math. 54 no.3 (1951), pp.425-505. (pdf)

  • Dan Kan, Abstract homotopy I , Proc. Nat. Acad. Sci. U.S.A. 41 (1955) pp.1092–1096. (pdf)

General introductions of the cube category and of cubical sets are in

The cubical identities satisfied by a cubical set are given there in proposition 2.8 on p. 9.

Cubical singular homology is discussed in

  • Massey, W. S., Singular homology theory, Graduate Texts in Mathematics, Volume~70. Springer-Verlag, New York (1980).

An axiomatization of cubical sets in constructive set theory/type theory (with the aim of building models of homotopy type theory) is in

See also

For more on this see at relation between category theory and type theory.

The homotopy theory / model category structure on cubical sets is discussed in

The fact that the exponential object of two fibrant cubical sets is again fibrant follows from remark 8.4.33 in

in the context of Cisinski model structures.

Finally cubical sets as categorical semantics for homotopy type theory with univalence is discussed in

The strict test category nature of cubical sets with connection is discussed in

  • Georges Maltsiniotis, La catégorie cubique avec connexions est une catégorie test stricte. Homology, Homotopy Appl. 11~(2) (2009) 309–326.

There is also the old work

  • Victor Gugenheim, On supercomplexes Trans. Amer. Math. Soc. 85 (1957), 35–51 PDF

in which “supercomplexes” are discussed, that combine simplicial sets and cubical sets (def 5). There are functors from simplicial sets to supercomplexes (after Defn 5) and, implicitly, from supercomplexes to cubical sets (in Appendix II). This was written in 1956, long before people were thinking as formally as nowadays and long before Quillen model theory, but a comparison of the homotopy categories might be in there.

A discussion of cubical sets and normal forms in several cases is in

  • Marco Grandis, and Mauri, L. Cubical sets and their site, Theory Applic. Categories {11} (2003) 185–201.

Cubical sets as models for strict ∞-groupoids are discussed in

  • Ronnie Brown, P. Higgins, The equivalence of ω\omega-groupoids and cubical TT-complexes, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 22 no. 4 (1981), p. 349-370 (pdf).

Their use for monoidal closed structures and homotopy classification is given in

  • Ronnie Brown and P. Higgins, Tensor products and homotopies for ω\omega-groupoids and crossed complexes. J. Pure Appl. Algebra 47 (1987) 1–33.

and are essential in

Essential subtoposes of Set opSet^{\Box^{op}} are discussed in the context of Lawvere’s dialectical theory of dimension in

  • C. Kennett, E. Riehl, M. Roy, M. Zaks, Levels in the toposes of simplicial sets and cubical sets , JPAA 215 no.5 (2011) pp.949-961. (preprint)

Revised on May 15, 2016 09:15:26 by Alexis Hazell? (