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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.10980
- arXiv:
- arXiv:2009.10980
- Bibcode:
- 2020arXiv200910980D
- Keywords:
-
- Mathematics - Category Theory
- E-Print:
- Comments are welcome! v2: very mild update. 2.9 and 2.10 are new examples