Related papers: Metric-enriched categories and approximate Fra\"{i…
We establish some basic properties of quotients of projective Fra\"iss\'e limits and exhibit some classes of compact metric spaces that are the quotient of a projective Fra\"iss\'e limit of a projective Fra\"iss\'e family in a finite…
Properties of categories enriched over the category of metric spaces are investigated and applied to a study of constructions known from that category and the category of Banach spaces. For every class of morphisms satisfying a mild…
We present a purely category-theoretic characterization of retracts of Fra\"iss\'e limits. For this aim, we consider a natural version of injectivity with respect to a pair of categories (a category and its subcategory). It turns out that…
We develop a theory of projective Fraisse limits in the spirit of Irwin- Solecki. The structures here will additionally support dual semantics as in [Sl10, Sl12]. Let Y be a compact metrizable space and let G be a closed subgroup of…
We consider notions of metrized categories, and then approximate categorical structures defined by a function of three variables generalizing the notion of $2$-metric space. We prove an embedding theorem giving sufficient conditions for an…
Metric approximate categories, or metagories, for short, are metrically enriched graphs. Their structure assigns to every directed triangle in the graph a value which may be interpreted as the area of the triangle; alternatively, as the…
We introduce a Fra\"iss\'e theory for abstract Cuntz semigroups akin to the theory of Fra\"iss\'e categories developed by Kubi\'s. In particular, we show that any (Cuntz) Fra\"iss\'e category has a unique Fra\"iss\'e limit which is both…
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…
Following Lawvere's description of metric spaces using enriched category theory, we introduce a change in the base of enrichment that allows description of some aspects of (relativistic) causal spaces. All such spaces are Cauchy complete,…
We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorems from [GrVaVi]. We prove criteria for existence and…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
Using Fra\" iss\' e theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space,…
We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of…
In this paper we investigate Cauchy completeness and exponentiablity for quantale enriched categories, paying particular attention to probabilistic metric spaces.
We consider approximations of a continuous function on a countable normed Fr\'{e}chet space by analytic and $*$-analytic. Also we found a criterium of the existence of an extension of a continuous function from a dense subspace of a…
Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…
In these notes we will survey recent results on various finitary approximation properties of infinite groups. We will discuss various restrictions on groups that are approximated for example by finite solvable groups or finite-dimensional…
We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally…
Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its…
We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered…