15
$\begingroup$

Let's assume that we have a cube of spaces such that everything commutes up to homotopy. The following holds:
- The right square is a homotopy pushout and
- all the squares in the middle are homotopy pullbacks.
I was told that (in Top) the left square is also a homotopy pushout then. Do you know any source where this is stated? (Or: is this actually true?)

Improve this question
$\endgroup$

1 Answer 1

Reset to default
17
$\begingroup$

This is Mather's second cube theorem, see Theorem 25 in

Mather, Michael, Pull-backs in homotopy theory, Can. J. Math. 28, 225-263 (1976). ZBL0351.55005.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .