Highest weight categories and strict polynomial functors

Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is explained, using the theory of Schur and Weyl functors. A consequence is the well-known fact that Schur algebras are quasi-hereditary.