Khovanov homology, constructed by Mikhail Khovanov, is a categorification of the Jones polynomial.

See also: Wikipedia on Khovanov homology, , .