Enriched Locally Generated Categories

Abstract

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.

Comments are welcome! v2: very mild update. 2.9 and 2.10 are new examples

References in corpus (2)

• A universal operator on the Gurarii space
• Enriched factorization systems