Related papers: The factorization of the Giry monad
We define enumerative invariants associated to a hybrid Gauged Linear Sigma Model. We prove that in the relevant special cases, these invariants recover both the Gromov-Witten type invariants defined by Chang-Li and Fan-Jarvis-Ruan using…
Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with…
We show that the Giry monad is not strong with respect to the canonical symmetric monoidal closed structure on the category Meas of all measurable spaces and measurable functions.
We prove that certain Gibbs measures on subshifts of finite type are nonsingular and ergodic for certain countable equivalence relations, including the orbit relation of the adic transformation (the same as equality after a permutation of…
We propose a natural generalization of a conjecture by Garsia, originally concerning the realization of conformal classes of genus-1 surfaces via embeddings in three-dimensional Euclidean space. This generalized conjecture is formulated…
Factorizations over cones and their duals play central roles for many areas of mathematics and computer science. One of the reasons behind this is the ability to find a representation for various objects using a well-structured family of…
We recall Borcherds's approach to vertex algebras via "singular commutative rings", and introduce new examples of his constructions which we compare to vertex algebras, chiral algebras, and factorization algebras. We show that all vertex…
We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.
There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the…
Let $\mu$ be a positive measure on the real line with locally finite support $\Lambda$ and integer masses such that its Fourier transform in the sense of distributions is a purely point measure. An explicit form is found for an entire…
We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…
The Macdonald symmetric functions are used to define measures on the set of all partitions of all integers. Probabilistic algorithms are given for growing partitions according to these measures. The case of Hall-Littlewood polynomials is…
Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…
Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely abstract categorical terms. Closely related to Markov categories…
The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his…
We expose in detail the principle that the relative geometric invariant theory of equivariant morphisms is related to the GIT for linearizations near the boundary of the $G$-effective ample cone. We then apply this principle to construct…
A circle, centered at the origin and with radius chosen so that it has non-empty intersection with the integer lattice $\mathbb{Z}^{2}$, gives rise to a probability measure on the unit circle in a natural way. Such measures, and their weak…
In this note, we first discuss some properties of generated $\sigma$-fields and a simple approach to the construction of finite $\sigma$-fields. It is shown that the $\sigma$-field generated by a finite class of $\sigma$-distinct sets which…
Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X…
We show the existence of the local dimension of an invariant probability measure on an infinitely generated self-affine set, for almost all translations. This implies that an ergodic probability measure is exactly dimensional. Furthermore…