  Beginning with the theorems of Beilinson and Orlov on derived categories, we
show how these lead naturally to Kuznetsov's beautiful theory of Homological
Projective Duality. We then survey some examples.
