Related papers: The enriched Vietoris monad on representable space…

We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by…

In this paper we carry the construction of equilogical spaces into an arbitrary category $\mathsf{X}$ topological over $\mathsf{Set}$, introducing the category $\mathsf{X}$-$\mathsf{Equ}$ of equilogical objects. Similar to what is done for…

We develop a folding approach to study two-dimensional symmetry-enriched topological (SET) phases with the mirror reflection symmetry. Our folding approach significantly transforms the mirror SETs, such that their properties can be…

Let $U$ be an absolute ultrafilter on the set of non-negative integers $\mathbb{N}$. For any sequence $x=(x_n)_{n\geq 0}$ of real numbers, let $U(x)$ denote the topological filter consisting of the open sets $W$ of $\mathbb{R}$ with $\{n…

This paper considers some extensions of the notion of filter to the quantale-valued context, including saturated prefilter, $\top$-filter and bounded saturated prefilter. The question is whether these constructions give rise to monads on…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-sorted equational theories from the classical ($Set$-enriched)…

We first introduce and investigate a new class of $T_0$ spaces -- strong R-spaces, which are stronger than both R-spaces and strongly well-filtered spaces. It is proved that any sup-complete poset equipped with the upper topology is a…

Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$,…

We develop dimension theory for a large class of structures called espaliers, consisting of a set $L$ equipped with a partial order $\leq$, an orthogonality relation $\perp$, and an equivalence relation $\sim$, subject to certain axioms.…

We study the heredity of the classes of generalized metric spaces (for example, spaces with a $\sigma$-hereditarily closure-preserving $k$-network, spaces with a point-countable base, spaces with a base of countable order, spaces with a…

Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…

We construct a multiset space $\mathbb{N}[X]$ over a metric space $X$ that simultaneously enjoys desirable topological properties and admits a natural matching metric $d_{\mathbb{N}[X]}$, making it a metrizable abelian topological monoid…

For a small quantaloid $\mathcal{Q}$, we introduce $\mathcal{M}$-(co)complete $\mathcal{Q}$-categories, i.e., (co)complete $\mathcal{Q}$-categories up to Morita equivalence, as Eilenberg--Moore algebras of the presheaf monad on the category…

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density…

The fundamental groupoid of a space becomes enriched over the category of topological spaces when the hom-sets are endowed with topologies intimately related to universal constructions of topological groups. This paper is devoted to a…

Let $P$ be the image of a period map. We discuss progress towards a conjectural Hodge theoretic completion $\overline{P}$, an analogue of the Satake-Baily-Borel compactification in the classical case. The set $\overline{P}$ is defined and…

Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $\Gamma$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a…