Floer homology
と では、アレクサンダー多項式が複体のオイラー標数として提示されていて、その複体のホモロジーは考えている結び目 formula_13 とイソトピー不変量である。従って、フレアーホモロジーの理論は、アレクサンダー多項式のカテゴリフィケーション(categorification)である。詳細は、コバノフホモロジー を参照。