217ed68e161b5906.tex
1: \begin{definition}
2:   Let $\nabla_\a$ be the largest subobject of $I_\a$ whose composition
3:   factors are all isomorphic to $L_\b$ with $\b\leq \a$.  By
4:   \cite[Theorem 1]{DlabRingel}, the category  $\mathcal C$ is highest
5:   weight if and only if $I_\a$ has a filtration by costandards $\nabla_\gamma$
6:   analogous to the standard filtration on projectives.
7: \end{definition}
8: