Related papers: Probability, valuations, hyperspace: Three monads …

A Hopf monad, in the sense of Brugui\`eres, Lack, and Virelizier, is a special kind of monad that can be defined for any monoidal category. In this note, we study Hopf monads in the case of a category with finite biproducts, seen as a…

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one…

We give a commutative valuations monad Z on the category DCPO of dcpo's and Scott-continuous functions. Compared to the commutative valuations monads given in [Jia et al., 2021], our new monad Z is larger and it contains all push-forward…

We show that the spaces of holomorphic and continuous maps from a smooth complex projective variety to a projective space have the same homology in a range depending on the degree of the maps.

In string theory, the concept of T-duality between two principal T^n-bundles E_1 and E_2 over the same base space B, together with cohomology classes h_1\in H^3(E_1) and h_2\in H^3(E_2), has been introduced. One of the main virtues of…

Let E be a topological space and F a uniform space. We introduce a new topology (in fact a uniform structure) called the V-congergence on the space of applications from E to F such that C(E,F) is closed for this topology and the restriction…

In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space.…

Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact…

In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…

We identify topological symmetric homology as the free $\mathbb{E}_\infty$-algebra on an $\mathbb{E}_1$-algebra and topological braid homology as the free $\mathbb{E}_2$-algebra on an $\mathbb{E}_1$-algebra. In this way, topological…

In this paper we establish the existence of monads on Cartesian products of projective spaces. We construct vector bundles associated to monads on…

We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…

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 revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was…

The double torus provides a relativistic model for a closed 2D cosmos with topology of genus 2 and constant negative curvature. Its unfolding into an octagon extends to an octagonal tessellation of its universal covering, the hyperbolic…

We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Brugui\`eres) can be seen as…

Topological T-duality is a transformation taking a gerbe on a principal torus bundle to a gerbe on a principal dual-torus bundle. We give a new geometric construction of T-dualization, which allows the duality to be extended in following…

Given a probability measure $\mu $ on ${\mathbb R}^n$, Tukey's half-space depth is defined for any $x\in {\mathbb R}^n$ by $\varphi_{\mu }(x)=\inf\{\mu (H):H\in {\cal H}(x)\}$, where ${\cal H}(x)$ is the set of all half-spaces $H$ of…

We introduce continuous $R$-valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continuous valuations from reals to so-called Abelian d-rags $R$.…