Related papers: Notions of Cauchy completeness for normed categori…

Generalizing Duality Theorem of H. de Vries, we define a category which is dually equivalent to the category of all locally compact Hausdorff spaces and all perfect maps between them.

For any site of definition $\mathcal C$ of a Grothendieck topos $\mathcal E$, we define a notion of a $\mathcal C$-ary Lawvere theory $\tau: \mathscr C \to \mathscr T$ whose category of models is a stack over $\mathcal E$. Our definitions…

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…

We use duality theorems to obtain presentations of some categories of modules. To derive these presentations we generalize a result of Cautis-Kamnitzer-Morrison [arXiv:1210.6437v4]: Let $\mathfrak{g}$ be a reductive Lie algebra, and $A$ an…

For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…

In topological data science, categories with a flow have become ubiquitous, including as special cases examples like persistence modules and sheaves. With the flow comes an interleaving distance, which has proven useful for applications. We…

We describe all left continuous triangular norms for which the category [0,1]-Cat of real-enriched categories and functors is cartesian closed. We furthermore show that the cartesian closedness of [0,1]-Cat is equivalent to the cartesian…

Taking a quotient roughly means changing the notion of equality on a given object, set or type. In a quantitative setting, equality naturally generalises to a distance, measuring how much elements are similar instead of just stating their…

The characteristic Cauchy problem of the Einstein field equations has been recently addressed from a completely abstract viewpoint by means of hypersurface data and, in particular, via the notion of double null data. However, this…

This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…

We show that for any two von Neumann algebras $M$ and $N$, the space of non-unital normal homomorphisms $N\to M$ with finite support, modulo conjugation by unitaries in $M$, is Dedekind complete with respect to the partial order coming from…

We introduce the notion of a $c$-category, which is a kind of category whose behaviour is controlled by connective ring spectra. More precisely, any $c$-category admits a finite step resolution by categories of compact modules over…

Motivated by the notions of $k$-extendability and complete extendability of the state of a finite level quantum system as described by Doherty et al (Phys. Rev. A, 69:022308), we introduce parallel definitions in the context of Gaussian…

Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this "continuous semantics" is equivalent to…

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces…

We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical.…

A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of…

Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz's…

We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear…

Markov categories have recently turned out to be a powerful high-level framework for probability and statistics. They accommodate purely categorical definitions of notions like conditional probability and almost sure equality, as well as…