Tilting theory is a central topic in the representation theory of algebras and related areas, as illustrated by the diverse contributions to this volume. One of the important aspects has been connections with homologically finite subcategories, which is a common term for contravariantly, covariantly and functorially finite subcategories. One main result along these lines is the following correspondence theorem.
For an artin algebra Λ of finite global dimension there is a one-one correspondence between isomorphism classes of basic cotilting Λ –;modules and contravariantly finite resolving subcategories of the category of finitely generated Λ-modules.
This result has interesting applications to the quasihereditary algebras introduced in , with the category of modules having standard filtration as the relevant subcategory . Through the above result, there is an associated tilting module, which since the early nineties has had great influence in the theory of algebraic groups and Lie algebras (see  and the references there).
This paper is centered around the above correspondence theorem. Actually, we discuss a more general version valid beyond finite global dimension, which has applications to generalizations of quasihereditary algebras.
We start with the basic setup in Chapter 1. First we discuss some generalities on correspondences between modules and subcategories, or pairs of subcategories. Then we recall results from tilting theory which are relevant for our discussions in this paper, and we give a brief introduction to the theory of contravariantly and covariantly finite subcategories  . We also discuss some connections between the topics.