0NA0
Definition 2.5. The Khovanov–Rozansky link homology
, with target
given by the category of -graded abelian groups and homogeneous
homomorphisms, is defined as the composition of , the representable
functor , and taking homology.
It is functorial by Theorem 2.4.