Related papers: Magnitudes Reborn: Quantity Spaces as Scalable Mon…
In ancient Greek mathematics, magnitudes such as lengths were strictly distinguished from numbers. In modern quantity calculus, a distinction is made between quantities and scalars that serve as measures of quantities. It can be argued that…
This brief exposition presents some basic properties of scalable monoids and quantity spaces, introduced in arXiv:1408.5024
Magnitude is a numerical invariant of metric spaces introduced by Leinster, motivated by considerations from category theory. This paper extends the original definition for finite spaces to compact spaces, in an equivalent but more natural…
A new approach is suggested to the problem of quantising causal sets, or topologies, or other such models for space-time (or space). The starting point is the observation that entities of this type can be regarded as objects in a category…
At present, our notion of space is a classical concept. Taking the point of view that quantum theory is more fundamental than classical physics, and that space should be given a purely quantum definition, we revisit the notion of Euclidean…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
Magnitude, obtained as a special case of Euler characteristic of enriched category, represents a sense of the size of metric spaces and is related to classical notions such as cardinality, dimension, and volume. While the studies have…
Given a countable, totally ordered commutative monoid $\mathcal{R}=(R,\oplus,\leq,0)$, with least element $0$, there is a countable, universal and ultrahomogeneous metric space $\mathcal{U}_\mathcal{R}$ with distances in $\mathcal{R}$. We…
We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories,…
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
Magnitude is a numerical invariant of finite metric spaces, recently introduced by T. Leinster, which is analogous in precise senses to the cardinality of finite sets or the Euler characteristic of topological spaces. It has been extended…
Magnitude is a real-valued invariant of metric spaces, analogous to the Euler characteristic of topological spaces and the cardinality of sets. The definition of magnitude is a special case of a general categorical definition that clarifies…
Magnitude is a numerical isometric invariant of metric spaces, whose definition arises from a precise analogy between categories and metric spaces. Despite this exotic provenance, magnitude turns out to encode many invariants from integral…
An algebraic structure underlying the quantity calculus is proposed consisting in an algebraic fiber bundle, that is, a base structure which is a free Abelian group together with fibers which are one dimensional vector spaces, all of them…
Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones,…
Magnitude is a canonical invariant of finite metric spaces which has its origins in category theory; it is analogous to cardinality of finite sets. Here, by approximating certain compact subsets of Euclidean space with finite subsets, the…
A rigorous mathematical theory of dimensional analysis, systematically accounting for the use of physical quantities in science and engineering, perhaps surprisingly, was not developed until relatively recently. We claim that this has…
The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in…
We introduce the notion of scale to generalize and compare different invariants of metric spaces and their measures. Several versions of scales are introduced such as Hausdorff, packing, box, local and quantization. They moreover are…