(mathematics) An oriented link invariant that arises as the homology of a chain complex. It may be regarded as a categorification of the Jones polynomial.