Related papers: Distributive Laws, Spans and the ZX-Calculus
One can represent Schwartz distributions with values in a vector bundle $E$ by smooth sections of $E$ with distributional coefficients. Moreover, any linear continuous operator which maps $E$-valued distributions to smooth sections of…
We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc: Catv$\to$ Cat for the free calculus on a category of terms and rewrites and a 2-monad…
Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…
Questions that seek to determine whether a hyperplane arrangement property, be it geometric, arithmetic or topological, is of a combinatorial nature (that is determined by the intersection lattice) are abundant in the literature. To tackle…
Recent theories suggest that Neural Scaling Laws arise whenever the task is linearly decomposed into power-law distributed units. Alternatively, scaling laws also emerge when data exhibit a hierarchically compositional structure, as is…
Virtual double categories provide an effective framework for formal category theory. Recent work has investigated the question of higher morphisms between virtual double categories, following on from work on higher morphisms between double…
We study algebras encoding stable range branching rules for the pairs of complex classical groups of the same type in the context of toric degenerations of spherical varieties. By lifting affine semigroup algebras constructed from…
The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language -- i.e. the ability to derive any true equation -- is a crucial question. In the quest of a complete…
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…
Structured recursion schemes such as folds and unfolds have been widely used for structuring both functional programs and program semantics. In this context, it has been customary to implement denotational semantics as folds over an…
Given a pair of pseudo double categories $\mathbb A$ and $\mathbb B$, the lax functors from $\mathbb A$ to $\mathbb B$, along with their transformations, modules, and multimodulations, assemble into a virtual double category…
We prove a gluing theorem which allows to construct an ample divisor on a rational surface from two given ample divisors on simpler surfaces. This theorem combined with the Cremona action on the ample cone gives rise to an algorithm for…
Given a linear category over a finite field such that the moduli space of its objects is a smooth Artin stack (and some additional conditions) we give formulas for an exponential sum over the set of absolutely indecomposable objects and a…
Let $K$ be a compact group, and let $\rho$ be a representation of $K$ on a Hilbert space $\mathcal{H}_\rho$. We classify invariant subspaces of $\mathcal{H}_\rho$ in terms of range functions, and investigate frames of the form $\{\rho(\xi)…
We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…
We construct higher categories of iterated spans, possibly equipped with extra structure in the form of "local systems", and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
We present a complete computational classification of the combinatorial types of hyperplane sections, or slices, of the regular cube up to dimension six. For each dimension, we determine the exact number of distinct combinatorial types.…
We extend the planar Pfaffian formalism for the evaluation of the Ising partition function to lattices of high topological genus g. The 3D Ising model on a cubic lattice, where g is proportional to the number of sites, is discussed in…
Containers are used to carve out a class of strictly positive data types in terms of shapes and positions. They can be interpreted via a fully-faithful functor into endofunctors on Set. Monadic containers are those containers whose…