The question is motivated by Eckmann-Hilton duality and certain flaws of the homotopy category of CW-complexes. Unfortunately, I do not know the formalism of model categories, so excuse me if it is a basic fact concerning them.


First consider a circle $S^1$ with a fixed point. All spaces are supposed to be connected and have a fixed point, and I will suppress it in notations. Then there are its $(n-1)$-suspension $S^n:=\Sigma^{n-1} S^1$ and its $(n-1)$-delooping $K(\mathbb Z, n):=\Omega^{-(n-1)}S^1$ (I believe that one can construct it geometrically). From them we can build $n$-th homotopy groups $\pi\_n(X):=[S^n, X]$ and $n$-th (integral) cohomology groups $H^n(X):=[X, K(\mathbb Z, n)]$, where $[A, B]$ means a set of homotopy classes of maps from $A$ to $B$, and give them a natural group structure, see Fomenko, Fuchs *Homotopical topology*, $\S$1.4.


As suspension $\Sigma$ and looping $\Omega$ are adjoint, one has $H^i(S^n) \simeq \mathbb Z$ for $i=n$ and $0$ otherwise, and $\pi\_i(K(\mathbb Z, n)) \simeq \mathbb Z$ for $i=n$ and $0$ otherwise (we ignore $\pi\_0$ and $H^0$). Moreover, in the category of CW-complexes $K(\mathbb Z, n)$ is defined by this condition up to homotopical equivalence, but $S^n$ is not -- there is Poincaré homology sphere $\widehat{S^3}$.


A quick idea is that it happens because CW-complexes are constructed from $S^n$, so one should work in the category of spaces constructed from $K(\mathbb Z, n)$, with something like Postnikov towers instead of CW-complexes' skeletons. There are certain conditions on CW-complexes, the main one is that the quotients of skeletons are bouquets of spheres; of course, one may ask that the homotopy fibers of Postnikov tower are products of $K(\mathbb Z, n)$, that is that the homotopy groups are torsion-free, but the resulting category looks very small, without spheres.


So a question is whether there is a nice category that is "Eckmann-Hilton dual" to CW-complexes? A perfect case would be if one can dualize any statement about CW-complexes and get a true statement about objects in this category, and if it contains spheres and $K(\mathbb Z, n)$, so that we have homotopy and cohomology groups. It is wrong for CW-complexes themselves: for example, the pullback of a fibration by a cofibration is always a fibration, but the pushforward of a cofibration by a fibration is not always a cofibration.


**Update.** According to the article [May *The Dual Whitehead Theorems*](http://www.math.uchicago.edu/~may/PAPERS/47.pdf) from Dan Ramras' comment, another candidate to "Echmann-Hilton dual" category to CW-complexes is simple spaces, that is whose $\pi\_1(X)$ acts trivially on $\pi\_n(X)$ (in particular, it acts by conjugation on itself, so is abelian). Simple CW-complexes are those for which Postnikov towers are usually defined.



Is there an analogue of CW-complexes built from $K(\mathbb Z, n)$ instead of $S^n$?
Repeating my comment above as answer:


You may find Peter May's article "The Dual Whitehead Theorems" interesting in this context. It's at math.uchicago.edu/~may/PAPERS/47.pdf


