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? How is it related to other knot homology theories?