  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.
