Philippe Gaucher <gaucher@irmasrv1.u-strasbg.fr> writes:
Dan Christensen wrote:
I suspect that this is true in general, but can only prove it if you restrict yourself to CW-complexes with a finite number of cells.
I believe that you are wrong somewhere.
...
If U is a universe containing all sets, let V be a universe with U\in V. The categorical construction of C[S^{-1}] (let us call it "C[S^{-1}]") gives a V-small category. "C[S^{-1}]"(A,B) is generally not a set. To see that, take an object like g_1.f_1^{-1}.g_2 with g_1 and g_2 not invertible in C (this is a reduced form which cannot be simplified in "C[S^{-1}]"). Then replace f_1^{-1} by
f_1^{-1} \sqcup Id_{codom(f_1^{-1})} \sqcup Id_{codom(f_1^{-1})} \sqcup...
and g_1 by
g_1 \sqcup g_1 \sqcup g_1 ...
Then "C[S^{-1}]"(dom(g_2),codom(g_1)) has as many elements as the sets of U-small cardinals. Therefore "C[S^{-1}]"(dom(g_1),codom(g_2)) is not a set.
The maps you've described all represent the same map in C[S^{-1}]. For example, the diagram g_1 f_1 g_2 A ---> C <---------- D ------------> B | | | | |1 | | |1 v v v v g_1 f_1 v 1 g_2 v g_2 A ---> C v D <------ D v D --------> B shows that the top map is equal to the bottom map in C[S^{-1}]. So this doesn't seems to be a counterexample to my guess that C[S^{-1}] exists in general. (By the way, my argument for the case when the CW complexes are finite, while possibly useful as an idea for how to approach the general case, is more complicated than is necessary, since with this assumption C is equivalent to a small category, and so any localization of C exists.) Dan