d67f45ae1737eadd.tex
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: