Related papers: Euclidean interval objects in categories with fini…
This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…
In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding…
Each family $\mathcal{M}$ of means has a natural, partial order (point-wise order), that is $M \le N$ iff $M(x) \le N(x)$ for all admissible $x$. In this setting we can introduce the notion of interval-type set (a subset $\mathcal{I}…
In this paper we prove equivalence of sets of axioms for non-discrete affine buildings, by providing different types of metric, exchange and atlas conditions. We apply our result to show that the definition of a Euclidean building depends…
We know that a continuous function on a closed interval satisfies the Intermediate Value Property. Likewise, the derivative function of a differentiable function on a closed interval satisfies the IVP property which is known as the Darboux…
In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with…
Let $\mathfrak{M}$ be a class of metric spaces. A metric space $Y$ is minimal $\mathfrak{M}$-universal if every $X\in\mathfrak{M}$ can be isometrically embedded in $Y$ but there are no proper subsets of $Y$ satisfying this property. We find…
Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence…
We characterize the indecomposable injective objects in the category of finitely presented representations of an interval finite quiver.
A construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques without imposing any condition on the underlying measure spaces. This approach concludes finally the problem of the…
Magnitude is an isometric invariant of metric spaces inspired by category theory. Recent work has shown that the asymptotic behavior under rescaling of the magnitude of subsets of Euclidean space is closely related to intrinsic volumes.…
We discuss here geometric structures of condensed matters by means of a fundamental topological method. Any geometric pattern can be universally represented by a decomposition space of a topological space consisting of the infinite product…
Tate objects have been studied by many authors. They allow us to deal with infinite dimensional spaces by identifying some more structure. In this article, we set up the theory of Tate objects in stable $(\infty,1)$-categories, while the…
Angular equivalence is introduced and shown to be an equivalence relation among the norms on a fixed real vector space. It is a finer notion than the usual (topological) notion of norm equivalence. Angularly equivalent norms share certain…
The main result states that every convex set-valued function defined on a real interval with compact values in a locally convex space, admits an affine selection. In the case if the target space is a real line and the values are closed real…
It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\infty$-category $\mathbf{DMfd}$ of…
Given a trivalent graph in the 3-dimensional Euclidean space, we call it a discrete surface because it has a tangent space at each vertex determined by its neighbor vertices. To abstract a continuum object hidden in the discrete surface, we…
If $R$ is a topological ring then $R^{\ast}$, the group of units of $R$, with the subspace topology is not necessarily a topological group. This leads us to the following natural definition: By an \emph{absolute topological ring} we mean a…
We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…