1: \begin{definition}

2: Define a functor $\bF : \dot \fh_\Z \to K_0(\fH(q))$ as follows.  On

3: objects, we define $\bF(n) = n$ for all $n \in Z$.  We define $\bF$

4: on morphisms by

5: \[

6:   \bF(a_n) = [S_-^n],\quad \bF(b_n) = [\Lambda_+^n],

7: \]

8: and requiring $\bF$ to be monoidal. The functor $\bF$ is well

9: defined by Theorem~\ref{thm:main-object-isom}.

10: \end{definition}

11: