We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched categories admit fully enriched analogues of many of the convenient results enjoyed by locally bounded ordinary categories. In particular, we prove full enrichments of Freyd and Kelly's reflectivity and local boundedness results for orthogonal subcategories and categories of models for sketches and theories. We also provide characterization results for locally bounded enriched categories in terms of enriched presheaf categories, and we show that locally bounded enriched categories admit useful adjoint functor theorems and a representability theorem. We also define and study the notion of α-bounded-small weighted limit enriched in a locally α-bounded closed category, which parallels Kelly's notion of α-small weighted limit enriched in a locally α-presentable closed category, and we show that enriched categories of models of α-bounded-small weighted limit theories are locally α-bounded.
Keywords: locally bounded category; enriched category theory; closed category; locally presentable category; topological category; orthogonal subcategory; factorization system; concrete quasitopos; limit sketch; limit theory
2020 MSC: 18A20, 18A32, 18A35, 18A40, 18B99, 18C10, 18C30, 18C35, 18C40, 18D15, 18D20, 18F60, 54B30
Theory and Applications of Categories, Vol. 38, 2022, No. 18, pp 684-736.
Published 2022-04-26.
TAC Home