I've heard that there are different theories providing knot invariants in form of homologies.  My understanding is that if you embed knot in a special way into a space, there is a special homology theory called Floer homology.

> **Question:** what's the definition and properties of a Floer homology of a knot?