Hori-mological projective duality

Kuznetsov has conjectured that Pfaffian varieties should admit noncommutative crepant resolutions which satisfy his Homological Projective Duality. We prove half the cases of this conjecture by interpreting and proving a duality of nonabelian gauged linear sigma models proposed by Hori