Highest weight categories arising from Khovanov's diagram algebra IV: the general linear supergroup
We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul.