#mather cube theorems

[uncontrolledprocrastination]

Sometime soon, I need to sort out which parts of algebraic topology are purely (model) category theoretic and which are specific to the category of spaces. For instance, the Mather Cube Theorems seem to be topoi-theoretic, so might not apply to an arbitrary model category. There's just so much going on in this subject!