In mathematics, the Bernstein-Gelfand-Gelfand correspondence or BGG correspondence for short is the first example of the Koszul duality.