Related papers: The factorization of the Giry monad

We use the basic expected properties of the Gray tensor product of $(\infty,2)$-categories to study (co)lax natural transformations. Using results of Riehl-Verity and Zaganidis we identify lax transformations between adjunctions and monads…

Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M)…

We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all…

Function theory on the unit disc proved key to a range of problems in statistics, probability theory, signal processing literature, and applications, and in this, a special place is occupied by trigonometric functions and the Fejer-Riesz…

We conjecture that the set of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space $S=\Gamma\backslash G/K$ is compact. More precisely, given a sequence of homogeneous probability…

We classify locally finite joinings with respect to the Burger-Roblin measure for the action of a horospherical subgroup $U$ on $\Gamma \backslash G$, where $G = \operatorname{SO}(n,1)^\circ$ and $\Gamma$ is a convex cocompact and Zariski…

We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has $\Pi$-types, weak and strong $\Sigma$-types, natural numbers, an empty type, and a…

We construct a group measure space II$_1$ factor that has two non-conjugate Cartan subalgebras. We show that the fundamental group of the II$_1$ factor is trivial, while the fundamental group of the equivalence relation associated with the…

We prove a factorization theorem for reproducing kernel Hilbert spaces whose kernel has a normalized complete Nevanlinna-Pick factor. This result relates the functions in the original space to pointwise multipliers determined by the…

This article deals with the notion of factorability. Elements of a factorable group or monoid possess a normal form, which leads to a small complex homotopy equivalent to its bar complex, thus computing its homology. We investigate the…

Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…

Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…

We study countable partitions for measurable maps on measure spaces such that for all point $x$ the set of points with the same itinerary of $x$ is negligible. We prove that in nonatomic probability spaces every strong generator (Parry, W.,…

In its canonical formulation, general relativity is subject to gauge transformations that are equivalent to space-time coordinate changes of general covariance only when the gauge generators, given by the Hamiltonian and diffeomorphism…

We prove irreducible components of moduli spaces of semistable representations of skewed-gentle algebras, and more generally, clannish algebras, are isomorphic to products of projective spaces. This is achieved by showing irreducible…

It is well known that for a given Poisson structure one has infinitely many star products related through the Kontsevich gauge transformations. These gauge transformations have an infinite functional dimension (i.e., correspond to an…

We extend Pisier's abstract version of Grothendieck's theorem to general non-locally convex quasi-Banach spaces. We also prove a related result on factoring operators through a Banach space and apply our results to the study of…

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…

For a function $W\in \mathbb{C}[X]$ on a smooth algebraic variety $X$ with Morse-Bott critical locus $Y\subset X$, Kapustin, Rozansky and Saulina suggest that the associated matrix factorisation category $\mathrm{MF}(X;W)$ should be…

We exhibit a family of metrizable manifolds such that any finite group appears as the fundamental group of one of them. These spaces are especially interesting as they can be easily visualized, as opposed to classical examples of spaces…