The most general context of Mather's Cube Theorems Quite simply, I'd like to know what is the broadest or most natural context in which either (or both) of Mather's cube theorems hold. If you like, this may mean any of


*

*What properties of $Top$ or $Top^*$ are essential to the proofs?

*(where) are model/homotopical categories verifying Mather's theorems studied as such in the literature?

*Are there more examples known verifying Mather's theorems?


I ask because Mather's proof strikes me as fairly gritty and seems to rely on explicit cellular constructions.

For reference, the cube theorems concern a cubical diagram whose faces commute up to homotopy in a coherent way, and assert


*

*If one pair of opposite faces are homotopy push-outs and the two remaining faces adjecent the source vertex are homotopy pull-backs, then the final two faces are also homotopy pull-backs

*If two pairs of opposite faces are homotopy pull-backs, and the remaining face adjacent the target vertex is a homotopy push-out, then the remaining face is a homotopy push-out.

 A: You might be interested in the work of Jean-Paul Doeraene: http://math.univ-lille1.fr/~doeraene/
In particular, on pages 8 and 9 of the paper Homotopy pull backs, push outs, and joins, he gives several examples of model categories satisfying the Cube Axiom, and identifies the cube maps in several which do not.
The motivation of much of this is to define and study Lusternik-Schnirelmann type invariants in model categories other than $Top$. 
A: Here's a sketch proof of 2, sort of in the same spirit as Jeff Strom's answer: 
These statements have equivalent formulations involving strictly commutative squares.
Denote a typical square by $\mathcal X$, with last space $X$ and two spaces $X_1$ and $X_2$ mapping into $X$, and $X_{12}$ mapping into both. It's called a homotopy pushout square if the resulting map from the homotopy pushout of $X_1\leftarrow X_{12}\to X_2$ to $X$ is a weak equivalence, and likewise for pullback.
Use the fact that if $X$ is the union of open sets $X_1$ and $X_2$ with intersection $X_{12}$ then the resulting square is a homotopy pushout. 
Also use this converse: Any homotopy pushout square admits an equivalence from such an "open triad square"--a map that is a weak equivalence in all four corners.
Now let $\mathcal X\to \mathcal Y$ be a cube, a map of squares. Suppose that $\mathcal Y$ is a homotopy pushout square and that the four side squares are homotopy pullback squares. 
Wlog the map $X\to Y$ is a fibration and the side squares are pullback (not just homotopy pullback) squares. Make an open triad square $\mathcal Y'$ and an equivalence $\mathcal Y'\to \mathcal Y$. Pull back to get a new square $\mathcal X'$. This is now also of the open triad kind, so it's a homotopy pushout square. And its map to $\mathcal X$ is an equivalence, so the latter is also a homotopy pushout square. 
The other theorem, 1, implies 2 (for Top) but I don't think you can go the other way. And when I try to prove 1 for Top I end up using quasifibrations.
EDIT: The first theorem really seems deeper than the second. In the category of sets (with equivalence=iso, holim=lim, hocolim=colim) the second is true and the first is false.
A: The second cube theorem (if base and sides are ok, then so is the top) is a straightforward consequence of the formally crazy fact that if $p:E\to B$ is a fibration, $i:A\to B$ is a cofibration, and $p_A:E_A\to A$ is the pullback of $p$ along $i$, then $i:E_A\to E$ is also a cofibration.
A: Let $\mathcal{X}$ be an $\infty$-category (i.e., a homotopy theory) which admits small homotopy colimits, a set of small generators, and has the property that homotopy colimits in $\mathcal{X}$ commute with homotopy pullback. Then $\mathcal{X}$ satisfies the Mather cube theorem if and only if $\mathcal{X}$ is an $\infty$-topos: that is, it can be described as a left exact localization of an $\infty$-category of presheaves of spaces. (I learned this from Charles Rezk). Such homotopy theories are studied extensively in my book "Higher Topos Theory" (see in particular Proposition 6.1.3.10 and the remark which follows it).
