Related papers: Quantales, generalised premetrics and free locales
We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…
We find an extension of the quasi-metric (to be called $g$-quasi metric) such that the induced generalized topology may fail to form a topology. We show that $g$-quasi metrizability is a $g$-topologically invariant property of generalized…
Matter interacting classically with gravity in 3+1 dimensions usually gives rise to a continuum of degrees of freedom, so that, in any attempt to quantize the theory, ultraviolet divergences are nearly inevitable. Here, we investigate…
A family of locally equivalent models is considered. They can be taken as a generalization to $d+1$ dimensions of the Topological Massive and ``Self-dual'' models in 2+1 dimensions. The corresponding 3+1 models are analized in detail. It is…
We study the topology of the space of positive scalar curvature metrics on high dimensional spheres and other spin manifolds. Our main result provides elements of infinite order in higher homotopy and homology groups of these spaces, which,…
Observable properties of a classical physical system can be modelled deterministically as functions from the space of pure states to outcomes; dually, states can be modelled as functions from the algebra of observables to outcomes. The…
The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…
Recently many papers on cone metric spaces have been appeared, and main topological properties of such spaces have been obtained. A cone metric space is Hausdorff, and first countable, so the topology of it coincides with a topology induced…
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).…
How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may…
The algebra of linear and quadratic functions of basic observables on the phase space of either the free particle or the harmonic oscillator possesses a finite-dimensional anomaly. The quantization of these systems outside the critical…
This paper studies a notion of parameterized 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 F_p(A) of p-flat…
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…
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
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…
In this work, a metric is presented on the set of boundedly-compact pointed metric spaces that generates the Gromov-Hausdorff topology. A similar metric is defined for measured metric spaces that generates the Gromov-Hausdorff-Prokhorov…
We consider the space of complete and separable metric spaces which are equipped with a probability measure. A notion of convergence is given based on the philosophy that a sequence of metric measure spaces converges if and only if all…
In this paper, we study metric completions of triangulated categories in a representation-theoretic context. We provide a concrete description of completions of bounded derived categories of hereditary finite dimensional algebras of finite…
We develop locale theory constructively and predicatively in univalent foundations (UF), with a particular focus on the theory of spectral and Stone locales. In the context of UF, predicativity refers specifically to the development of…