  We generalize Kuznetsov's theory of homological projective duality to the
setting of noncommutative algebraic geometry. Simultaneously, we develop the
theory over general base schemes, and remove the usual smoothness, properness,
and transversality hypotheses.
