  We introduce the notion of $\mathcal{M}$-locally generated category for a
factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We
offer a Gabriel-Ulmer duality for these categories, introducing the notion of
nest. We develop this theory also from an enriched point of view. We apply this
technology to Banach spaces showing that it is equivalent to the category of
models of the nest of finite-dimensional Banach spaces.
