Incidence category of the Young lattice, injections between finite sets, and Koszulity
We describe the Gabriel quiver with defining relations of the category of injections between finite sets, show that it is quadratic self-dual, and construct linear resolutions for its simple modules.