Abstract Properties of categories enriched over the category of metric spaces are
investigated and applied to a study of well-known constructions of metric and Banach …

This thesis is about two things: a desire to understand the concept of “normed space” in a
wider categorical context, and, as a result of this, a study of the change of base for enriched …

We develop the theory of approximate Fra\"{i} ss\'{e} limits in the context of categories
enriched over metric spaces. Among applications, we construct a generic projection on the …

In a locally λ λ-presentable category, with λ λ a regular cardinal, classes of objects that are
injective with respect to a family of morphisms whose domains and codomains are λ λ …

Our conventions regarding∞-categories follow those of [DG]. In particular, whenever we say
category, unless otherwise specified, we will mean an∞-category. Furthermore, for objects …

Many examples are known of natural functors $ K $ describing the transition from categories
$\mathcal {C} $ of generalized metric spaces to the “metrizable" objects in some given …

For a Heyting algebra V which, as a category, is monoidal closed, we obtain
characterizations of exponentiable objects and morphisms in the category of V-categories …

Let M denote the category of metric spaces with contractions as morphisms and N denote
the category of real normed spaces with linear contractions as morphisms. Given any …

Classes of objects injective wrt specified morphisms are known to be closed under products
and retracts. We prove the converse: a class of objects in a locally presentable category is …

Due to the nature of compactness, there are several interesting ways of defining compact
objects in a category. In this paper we introduce and study an internal notion of compact …