MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The point of departure is the following : There is a very simple way to construct stable homotopy categories for small categories by forming a category of fractions (for example, used by Higson in his construction of E-theory). On the other hand, to construct such categories in a more general setting, one uses triangulated categories or the Spanier-Whitehead construction.

Now in principle, if one just uses categories of fractions, one does not get that the homomorphisms between fixed objects form a class. Why exactly is this a problem?

share|cite|improve this question
"... not ... form a class. Why ..." Isn't here "set" instead of "class" meant ? – Ralph May 14 '11 at 15:55
The reason is that in the usual categories the usual constructions which have some parameter set don't work for classes. – Martin Brandenburg May 14 '11 at 17:23

The key issue is the failure of Bousfield localisation. Suppose we start with a locally small homotopy category $\mathcal{C}$ (so $\mathcal{C}(X,Y)$ is a set for all $X$ and $Y$) and a class of morphisms $S$. We can then form the category of fractions $\mathcal{C}[S^{-1}]$, but it need not be locally small. Given an object $Y\in\mathcal{C}$, one can ask whether there exists an object $Y[S^{-1}]\in\mathcal{C}$ with a natural isomorphism $$\mathcal{C}(X,Y[S^{-1}])\simeq\mathcal{C}[S^{-1}] (X,Y)$$ for all $X\in\mathcal{C}$. It is clear that if $Y[S^{-1}]$ exists for all $Y$, then $\mathcal{C}[S^{-1}]$ must be locally small. There are various good theorems saying that this condition is sufficient as well as necessary, under certain auxiliary assumptions. Functors of the form $Y\mapsto Y[S^{-1}]$ are widely used in homotopy theory, so this issue is important. Quillen's theory of model categories gives a useful framework in which one can often show that $\mathcal{C}[S^{-1}]$ is locally small.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.