Related papers: Deriving the Giry algebras on standard Borel space…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

By using a Borel density theorem for algebraic quotients, we prove a theorem concerning isometric actions of a Lie group $G$ on a smooth or analytic manifold $M$ with a rigid $\mathrm{A}$-structure $\sigma$. It generalizes Gromov's…

Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…

We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…

In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a…

Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize…

We completely characterize the unimodal category for functions $f:\mathbb R\to[0,\infty)$ using a decomposition theorem obtained by generalizing the sweeping algorithm of Baryshnikov and Ghrist. We also give a characterization of the…

Given a compact metric space $X$, the collection of Borel probability measures on $X$ can be made into a compact metric space via the Kantorovich metric. We partially generalize this well known result to projection-valued measures. In…

Let $A$ be an associative ring and $M$ a finitely generated projective $A$-module. We introduce a category $\operatorname{RBS}(M)$ and prove several theorems which show that its geometric realisation functions as a well-behaved unstable…

For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…

We relate the theory of moduli spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ of stable weighted curves of genus $0$ to the equivariant topology of complex Grassmann manifolds $G_{n,2}$, with the canonical action of the compact torus…

Center one-form symmetries in consistent quantum gravity theories are expected to be either broken or gauged, thereby determining the global form of the gauge group. We shed light on this expectation from the perspective of distinguished…

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…

We answer a question of Schwede on the existence of global Picard spectra associated to his ultra-commutative global ring spectra; given an ultra-commutative global ring spectrum $R$, we show there exists a global spectrum…

We show that a certain moduli space of minimal $A_\infty$-structures coincides with the modular compactification $\bar{\mathcal{M}}_{1,n}(n-1)$ of $\mathcal{M}_{1,n}$ constructed by Smyth. In addition, we describe these moduli spaces and…

We introduce the categories of quasi-measurable spaces, which are slight generalizations of the category of quasi-Borel spaces, where we now allow for general sample spaces and less restrictive random variables, spaces and maps. We show…

Let P -> M be a principal G-bundle. Using techniques from the loop representation of gauge theory, we construct well-defined substitutes for ``Lebesgue measure'' on the space A of connections on P and for ``Haar measure'' on the group Ga of…

In this paper we define a space $\ghu{M}$ of Hardy--Goldberg type on a measured metric space satisfying some mild conditions. We prove that the dual of $\ghu{M}$ may be identified with $\gbmo{M}$, a space of functions with "local" bounded…