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