В докладе будет рассказано о статье Элисон Гилмор, посвященной алгебраическому доказательству инвариантности гомологий Флоера для узлов. Гомологии Флоера для узлов (knot Floer homology) являются категорификацией полинома Александера и были изначально введены Ожватом, Сабо и Расмуссеном. Однако, там этот объект определялся с позиций, пришедших из теории трехмерных многообразий. В рассматриваемой статье предлагается другой, чисто алгебраический подход к определению и доказательству инвариантности этого объекта