Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A cubical set $Box^{op} \to Set$ is a model for a homotopy type, via Grothendieck and Cisinski (here $Box$ is the box category with objects the natural numbers and arrows generated by face and degeneracy maps 'as usual'). A typical example is the singular cubical set of a space, $n \mapsto Hom(I^n,X)$. The homotopy groups of $X$ can be recovered from this cubical set as it satisfies a property analogous to that of Kan complexes (horns have fillers). In general, do the homotopy groups of a cubical set satisfying this 'Kan' condition agree with that of the homotopy type it represents?

share|cite|improve this question
Yes it does. This is completely straightforward, once you know that there is a Quillen equivalence relating cubical sets and simplicial sets: homotopy groups are invariants which can be constructed at the level of the homotopy category, forgetting the models you used to construct it. – Denis-Charles Cisinski Mar 1 '11 at 21:39
Thanks, Denis-Charles. I think I remember why I asked this question... :) – David Roberts Mar 2 '11 at 2:31
In fact Dan Kan's thesis and first paper were cubical, but at Princeton it was felt that because cubical groups were not Kan and the realisation of the cartesian product of cubical sets had the wrong homotopy type, meant that the cubical theory had to be abandoned. These deficiencies have been remedied by cubical sets with connections, which are used extensively in our big book on Nonabelian Algebraic Topology, because of other advantages of cubical methods. This idea has not been taken up in current $\infty$-category theory. – Ronnie Brown Oct 15 at 14:23
@RonnieBrown I should point out, and I'm sure you know this, that cubical methods are being taken up by the UF/HoTT community (Thierry Coquand is leading this effort, I think) for the purposes of finding good models of UF/HoTT. One can see higher category theory natively in HoTT, in that is captures (higher) categories of 'sheaves of homotopy types'. – David Roberts Oct 15 at 20:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.