Related papers: Enriched categories, real metrics and Lorentz mani…
Generalized differential forms are used in discussions of metric geometries and Einstein's vacuum field equations. Cartan's structure equations are generalized and applied. In particular flat generalized connections are associated with any…
Magnitude homology is an invariant of enriched categories which generalizes ordinary categorical homology -- the homology of the classifying space of a small category. The classifying space can also be generalized in a different direction:…
Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions $\phi$ on a lattice $L$ which are modular, i.e.,…
We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…
The gauge symmetry of classical general relativity under space-time diffeomorphisms implies that any path integral quantization which can be interpreted as a sum over space-time geometries, gives rise to a formal invariant of smooth…
The aim of this paper is to study new classes of Riemannian manifolds endowed with a smooth potential function, including in a general framework classical canonical structures such as Einstein, harmonic curvature and Yamabe metrics, 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).…
In models of modified gravity, extra degrees of freedom usually appear. They must be removed from the spectrum because they may indicate the presence of instabilities and because otherwise the model might not agree with observation. In the…
After reviewing a universal characterization of the extended positive real numbers published by Denis Higgs in 1978, we define a category which provides an answer to the questions: \begin{itemize} \item what is a set with half an element?…
The `observer space' of a Lorentzian spacetime is the space of future-timelike unit tangent vectors. Using Cartan geometry, we first study the structure a given spacetime induces on its observer space, then use this to define abstract…
Diversities are an extension of the concept of a metric space which assign a non-negative value to every finite set of points, rather than just pairs. A general theory of diversities has been developed which exhibits many deep analogies to…
In this paper, generalized metrics mean metrics taking values in general linearly ordered Abelian groups. Using the Hahn fields, we first prove that for every generalized metric space, if the set of the Archimedean equivalence classes of…
We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between…
A free system, considered to be a comparison system, allows for the notion of objective existence and inertial frame. Transformations connecting inertial frames are shown to be either Lorentz or generalized Galilei.
The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…
In a previous paper [gr-qc/0104001; Class. Quant. Grav. 18 (2001) 3595-3610] we have shown that the occurrence of curved spacetime ``effective Lorentzian geometries'' is a generic result of linearizing an arbitrary classical field theory…
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…
Different aspects of relativity, mainly in a canonical formulation, relevant for the question "Is spacetime nothing more than a mathematical space (which describes the evolution in time of the ordinary three-dimensional world) or is it a…
We present a novel derivation of both the Minkowski metric and Lorentz transformations from the consistent quantification of a causally ordered set of events with respect to an embedded observer. Unlike past derivations, which have relied…
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…