There is a generalization of Heegaard-Floer theory from
gl1β£1β to other Lie (super)algebras Lg. The
corresponding category of A-branes is solvable explicitly and categorifies
quantum Uqβ(Lg) link invariants. The theory was discovered in
\cite{A1,A2}, using homological mirror symmetry. It has novel features,
including equivariance and, if Lgξ =gl1β£1β,
coefficients in categories. In this paper, we describe the theory and how it is
solved in detail in the two simplest cases: the gl1β£1β theory
itself, categorifying the Alexander polynomial, and the su2β
theory, categorifying the Jones polynomial. Our approach to solving the theory
is new, even in the familiar gl1β£1β case.Comment: 146 page