Whitehead's definition of CW-complex had a long gestation, and was initially formulated by him as a "membrane complex", see his very original 1941 Annals paper on "On incidence matrices, nuclei and homotopy types", which includes the initial research on what he later called simple homotopy theory. The idea for such complexes was partially to have something coarser than a simplicial complex. Later he developed the notions of adjunction space, and also the general topology; Ioan James said it took him a year to prove his product theorem for CW-complexes.

Now we can see more clearly that the great advantage of CW-complexes is the inductive definition of the structure, since this allows, as shown by Whitehead, proofs by induction. So the inductive definition is often taken as a starting point.

The skeletal filtration of a CW-complex is also usefully seen as an example of a filtered space, i.e. a space $X$ with an increasing sequence of subspaces $X_0 \subseteq X_1 \subseteq X_2 \subseteq \cdots$. The book advertised here develops algebraic topology at the border between homotopy and homology on the basis of this structure, without singular homology or simplicial approximation, and relating it to Whitehead's key notion of *free crossed module* (developed 1941-1949), an example of a universal property in $2$-dimensional homotopy theory.

The notion of a *space with structure* seems to me to be related to Grothendieck's remarks in "Esquisse d'un programme" Section 5, where he claims the notion of topological space is derived from analysis and is inadequate for geometry. For his purposes, notions of stratifications are crucial. In any case, to specify a topological space one needs some kind of data, and it is not unreasonable to suggest that the invariants we seek should have some structure reflecting that of the data defining the space.

In particular, there are van Kampen type theorems for filtered spaces (as in the above mentioned book) and also for $n$-cubes of spaces, as in work with J.-L. Loday. The latter work is related to classical work on the homotopy theory of $n$-ads, their connectivity theorems, and the determinations of the critical (i.e. first non zero) groups (Blakers-Massey, Barratt-Whitehead). See also the paper by Ellis and Steiner referenced there.