Related papers: Flatness, accessibility and metric spaces

This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves…

We use a generic notion of flatness in the enriched context to define various completions of metric spaces -- enrichments over [0,\infty] -- and preorders -- enrichments over 2. We characterize the weights of colimits commuting in…

The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically…

Motivated by some problems proposed by Cuadra and Simson related to flat objects in finitely accessible Grothendieck categories, we study flatness in the more general setting of finitely accessible additive categories. For such category…

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…

The paper is in essence a survey of categories having $\phi$-weighted colimits for all the weights $\phi$ in some class $\Phi$. We introduce the class $\Phi^+$ of {\em $\Phi$-flat} weights which are those $\psi$ for which $\psi$-colimits…

It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere…

As already mentioned by Lawvere in his 1973 paper, the characterisation of Cauchy completeness of metric spaces in terms of representability of adjoint distributors amounts to the idempotent-split property of an ordinary category when the…

In these expository notes, intended for students without background in point-set topology, we develop the basic theory of the Stone-Cech compactification without reference to open sets, closed sets, filters, or nets. In particular, this…

Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is…

After Galvez, Martinez and Milan discovered a (Weierstrass-type) holomorphic representation formula for flat surfaces in hyperbolic 3-space, the first, third and fourth authors here gave a framework for complete flat fronts with…

The classical Cauchy completion of a metric space (by means of Cauchy sequences) as well as the completion of a uniform space (by means of Cauchy filters) are well-known to rely on the symmetry of the metric space or uniform space in…

We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality…

We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…

Let $X$ and $S$ be complex spaces with $X$ countable at infinity and $S$ reduced locally pure dimensional. Let $\pi:X\to S$ be an universally-$n$-equidimensional morphism (i.e open with constant pure $n$-dimensional fibers). If there is a…

Ge and Lin (2015) proved the existence and the uniqueness of p-Cauchy completions of partial metric spaces under symmetric denseness. They asked if every (non-empty) partial metric space $X$ has a p-Cauchy completion $\bar{X}$ such that $X$…

The parameterized complexity of a problem is considered "settled" once it has been shown to lie in FPT or to be complete for a class in the W-hierarchy or a similar parameterized hierarchy. Several natural parameterized problems have,…

We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…

In this paper we investigate Cauchy completeness and exponentiablity for quantale enriched categories, paying particular attention to probabilistic metric spaces.

If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard…