If $\mathcal C$ and $\mathcal D$ are two categories each equipped with a class of morphisms called weak equivalences, then by an equivalence of homotopy theories I will mean functors $F:\mathcal C\to \mathcal D$ and $G:\mathcal D\to\mathcal C$ such that each of the compositions $G\circ F$ and $F\circ G$ is related to the relevant identity functor by a zigzag of natural weak equivalences. This is much stronger than just requiring $F$ and $G$ to induce inverse equivalences of homotopy categories: For an example, let $\mathcal C$ be the category of chain complexes over a field with quasi-isomorphisms as weak equivalences and $\mathcal D$ the subcategory of complexes with zero boundary map. ($F$ is the homology functor and $G$ is the inclusion.) You can see that this is not giving an equivalence of homotopy categories, because if it did then it would also give an equivalence of homotopy categories of $I$-diagrams for any $I$. Of course, if $\mathcal C$ and $\mathcal D$ are model categories then a Quillen equivalence gives an equivalence in the sense I mean (after restricting to categories of fibrant-cofibrant objects). But let's look at this simpler notion.
This is meant to be an improvement on my previous question When do basepoints matter in homotopy theory?. I was tempted to delete the latter, but decided to let it stand for its possible educational value and as a hairshirt for myself. I seriously suggest that nobody should upvote this question without downvoting that one.
Consider the category of simply-connected spaces (a.k.a. $1$-connected spaces, i.e those having exactly one path component and trivial fundamental group) and continuous maps. We can universally invert the weak homotopy equivalences and get what might be called the homotopy category of $1$-connected spaces. This can be described as a full subcategory of the homotopy category associated to the Quillen model structure on $Top$. Alternatively, it can be described as the category whose objects are $1$-connected $CW$ complexes and whose morphisms are homotopy classes of maps. Note that I am using unbased spaces and unbased maps here.
QUESTION 1: Is there an equivalence of homotopy theories in the sense defined above between $1$-connected spaces and (the fibrant-cofibrant objects of) some model category.
Another good example of a functor inducing an equivalence of homotopy categories but NOT an equivalence of homotopy theories is the forgetful functor from based $1$-connected spaces to unbased $1$-connected spaces. The positive statement just means that every unbased map between based $1$-connected spaces is homotopic to a based map, and that two such based maps are based homotopic if they are homotopic. The negative statement can be proved by using what I said above about categories of diagrams; for example, you can get a contradiction by picking an action of a group on a $1$-connected space such that the homotopy fixed point set is empty.
The category of $1$-connected based spaces is equivalent in this sense to a model category. You can colocalize the category of based spaces. The main idea is this: In the category of based spaces every object has a universal $1$-connected object over it.
As some kind of evidence for a "no" answer to the question above, note that the statement in the last sentence is false for unbased $1$-connected spaces. More evidence: a "yes" answer would seem to lead to a reasonable theory of homotopy limits and colimits within unbased $1$-connected spaces. How could that go? In the based setting, hocolim is usual hocolim and holim is universal covering space of basepoint component of usual holim.
All of the above statements, questions, and suggestions about $1$-connected spaces have analogues in which weak homotopy equivalence is replaced by rational equivalence. Sullivan's version
of rational homotopy theory shows that the theory of unbased $1$-connected spaces of finite type is equivalent to that of the opposite of $1$-connected commutative DGAs (differential graded algebras) of finite type. I presume that this can be used to see that the theory of (unbased) $1$-connected spaces is equivalent to that of $1$-connected commutative DGCs (differential graded coalgebras). Quillen's version gives an alternative route, but with basepoints: a chain of Quillen equivalences between based $1$-connected spaces and $1$-connected based (i.e. coaugmented) commutative DGCs (differential graded coalgebras).
QUESTION 2: Assuming the answer to Q1 is "no", do you have a good point of view to offer regarding this tradeoff between the artificiality of working with based objects and the disturbing lack of homotopy (co)limits in the unbased setting?
