(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.

(algebraic topology) The quotient group of the kth cycle group modulo the kth boundary group (derived from the chain complex of, e.g., a given simplicial complex).