Related papers: Notions of Cauchy completeness for normed categori…
The main purpose of this paper is to study complex valued metric-like spaces as an extension of metric-like spaces, complex valued partial metric spaces, partial metric spaces, complex valued metric spaces and metric spaces. In this…
Take a closed monotone symplectic manifold containing a smooth anticanonical divisor. The quantum connection on its cohomology has singularities at zero and infinity (in the quantum parameter). At zero it has a regular singular point, by…
Let $\mathbb{K}$ denote a field and let $\mathfrak{X}$ denote a finite non-empty set. Let $\text{Mat}_\mathfrak{X}(\mathbb{K})$ denote the $\mathbb{K}$-algebra consisting of the matrices with entries in $\mathbb{K}$ and rows and columns…
This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…
Several years ago, Bondal, Rouquier and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a…
We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal…
We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
Clearly, a generalized inverse limit of metrizable spaces indexed by $\mathbb N$ is metrizable, as it is a subspace of a countable product of metrizable spaces. The authors previously showed that all idempotent, upper semi-continuous,…
We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other…
A metric space M is homogeneous if every isometry between finite subsets extends to a surjective isometry defined on the whole space. We show that if M is an ultrametric space, it suffices that isometries defined on singletons extend, i.e…
It is an open conjecture of Orlov that the bounded derived category of coherent sheaves of a smooth projective variety determines its Chow motive with rational coefficients. In this master's thesis we introduce a category of \emph{perfect…
A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this…
Below we discuss the existence of a motherbody measure for the exterior inverse problem in potential theory in the complex plane. More exactly, we study the question of representability almost everywhere (a.e.) in C of (a branch of) an…
We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite…
In this manuscript we characterize the completeness of a normed space through the strong lacunary (N-theta) and lacunary statistical convergence (S-theta) of series. A new characterization of weakly unconditionally Cauchy series through…
The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this…
Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was subsequently generalized to locally Cartesian closed…
There have been a number of generalizations of fixed point results to the so called TVS-cone metric spaces, based on a distance function that takes values in some cone with nonempty interior (solid cone) in some topological vector space. In…
This expository article brings together two subjects: generalised metrics based on enriched categories, on the one hand, and Lorentz manifolds, on the other, at the price of dealing with details that are well known either in category theory…
We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this…