  In this paper we show that how the representation theory of subcategories (of
the category of modules over an Artin algebra) can be connected to the
representation theory of all modules over some algebra. The subcategories
dealing with are some certain subcategories of the morphism categories
(including submodule categories studied recently by Ringel and Schmidmeier) and
of the Gorenstein projective modules over (relative) stable Auslander algebras.
These two kinds of subcategories, as will be seen, are closely related to each
other. To make such a connection, we will define a functor from each type of
the subcategories to the category of modules over some Artin algebra. It is
shown that to compute the almost split sequences in the subcategories it is
enough to do the computation with help of the corresponding functors in the
category of modules over some Artin algebra which is known and easier to work.
Then as an application the most part of Auslander-Reiten quiver of the
subcategories is obtained only by the Ausalander-Reiten quiver of an
appropriate algebra and next adding the remaining vertices and arrows in an
obvious way. As a special case, whenever $\Lambda$ is a Gorenstein Artin
algebra of finite representation type, then the subcategories of Gorenstein
projective modules over the $2 \times 2$ upper triangular matrix algebra over
$\Lambda$ and the stable Auslander algebra of $\Lambda$ can be estimated by the
category of modules over the stable Cohen-Macaulay Auslander algebra of
$\Lambda$.
