Highest weight categories - revisited

We briefly recall the classical highest weight categories theory (following Cline-Parshall-Scott, Donkin and Ringel) for finite dimensional algebras in a language which allows generalizations to stratified algebras and infinite situations. In particular we formula aspects of tilting theory and Ringel duality in a semi-infinite setting. If time allows we will mention some explicit examples for this construction related to diagram algebras and categorifications.