1: \begin{definition}\lbl{defn-deriv-loc}
2: Let $\CC$ be a compactly generated stable derivator, and let
3: $K\:\CC(e)\to\Ab$ be a homology theory. As usual, we extend this to
4: a graded theory $K_*\:\CC(e)\to\Ab_*$ by $K_n(X)=K(\Sg^{-n}X)$. For
5: $X\in\CC(P)$ define $K^P(X)=\bigoplus_{p\in P}K(X_p)$, and note that
6: this is again a homology theory. Using
7: Theorem~\ref{thm-thick-subcats} we see that the subcategories
8: $\ker(K_*^P)\sse\CC(P)$ form a localising subderivator of $\CC$,
9: which we will just call $\ker(K_*)$.
10:
11: Now suppose we have an object $X\in\CC([1]\tm P)$. This gives a
12: morphism $u\:X_0\to X_1$ in $\CC(P)$ in the usual way. We say that
13: $X$ is a \emph{localisation object} if $\fib(u)\in\ker(K^P_*)$ and
14: $X_1\in\ker(K^P_*)^\perp$. We write $\CL(P)$ for the subcategory of
15: localisation objects in $\CC([1]\tm P)$. This is clearly a
16: subprederivator of $\CC^{[1]}$, and we have a morphism
17: $i_0^*\:\CL\to\CC$ of prederivators.
18: \end{definition}
19: