Yoga of localization in categories? In the derived category $D(C)$ of an abelian category $C$, one formally inverts quasi-isomorphisms.  In the context of model categories, one inverts weak equivalences.

What does one gain by doing so?

Is there a big-picture way to think about what is being done?
 A: Localisation in category theory is essentially about "throwing away" irrelevant data. Here is an example which might make it clearer.
Consider a topological space $X$. The usual definition of sheaves on $X$ says that they are certain presheaves that satisfy a descent condition, but there is another way of thinking about it that only involves taking stalks. It is obvious that the definition of stalk can be applied verbatim to presheaves, and so by putting all the stalks together we get a functor $L : \textbf{Psh}(X) \to \textbf{Set}^X$, where $\textbf{Set}^X$ denotes the $X$-fold cartesian power of $\textbf{Set}$. Let us declare a morphism $f : A \to B$ of presheaves on $X$ to be a local isomorphism if $L f$ is.
I claim $\textbf{Sh}(X)$ is precisely the category obtained by inverting these local isomorphisms, and the sheafification functor $j^* : \textbf{Psh}(X) \to \textbf{Sh}(X)$ is the localising functor. This can be checked using the fact that $\textbf{Psh}(X)$ admits a calculus of right fractions:


*

*$L$ is pushout-preserving, so pushouts of local isomorphisms in $\textbf{Psh}(X)$ are again local isomorphisms.

*If $f : A \to B$ is a local isomorphism such that $g \circ f = h \circ f$ for some $g, h : B \to C$, then if $\eta_C : C \to j^* C$ is the unit of the sheafification adjunction, then we must have $\eta_C \circ g = \eta_C \circ h$.


Thus every morphism in the localisation of $\textbf{Psh}(X)$ away from local isomorphisms can be represented by a zigzag of the form $A \leftarrow B \to C$, where $A \leftarrow B$ is a local isomorphism, and by playing around with some diagrams we see that in fact any such zigzag is equivalent to one of the form $A \to j^* A \to j^* C \leftarrow C$, where the first and last arrows are the unit morphisms. Since the local isomorphisms are precisely the presheaf morphisms $f$ such that $j^* f$ is an isomorphism, this is enough to prove the claim.
In other words, a sheaf is precisely what you get when you take a presheaf and throw away all the extra data that cannot be detected at the level of stalks. Similarly, a homotopy type is what you get when you take a topological space and throw away everything that cannot be seen by the homotopy groups. But beware: the example of sheaves is very special; in general the localisation of a category need not be a reflective subcategory as it is in the above.
