1: \begin{definition}\label{def:cohomology}

2: Let $(\counital,\unital)$ be a pair of complementary idempotents in $\AS$.  The cohomology of $\unital$ (resp.~$\counital$) is the graded commutative algebra from statement (1') (resp.~(2')) above.  If $\MS$ is a category on which $\AS$ acts by triangulated endofunctors, then the \emph{cohomology of $\unital$ and $\counital$ with coeffiecients in $M,N\in \MS$} are the graded spaces from statements (1) and (2) of Theorem \ref{introThm:homs}, respectively. 

3: \end{definition}

4: