Related papers: The B\'enabou-Roubaud theorem via string diagrams

We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…

Using the pure spinor formalism on the world-sheet, we derive the T-duality rules for all target space couplings in an efficient manner. The world-sheet path integral derivation is a proof of the equivalence of the T-dual Ramond-Ramond…

Lott-Sturm-Villani theory of curvature on geodesic spaces has been extended to discrete graph spaces by C. L{\'e}onard by replacing W2-Wasserstein geodesics by Schr{\"o}odinger bridges in the definition of entropic curvature [23, 25, 24].…

We investigate string graphs through the lens of graph product structure theory, which describes complicated graphs as subgraphs of strong products of simpler building blocks. A graph $G$ is called a string graph if its vertices can be…

We present a detailed proof of Wolstenholme's theorem using an Egorychev-type contour integral and an exponential change of variables. All formal series manipulations are justified, and the connection with harmonic sums and Bernoulli…

Rayleigh-B\'enard convection in the turbulent regime is studied using statistical methods. Exact evolution equations for the probability density function of temperature and velocity are derived from first principles within the framework of…

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…

We establish a Liouville-type theorem for the elliptic and incompressible Magnetic-B\'enard system defined over the entire three-dimensional space. Specifically, we demonstrate the uniqueness of trivial solutions under the condition that…

A popular approach to semi-supervised learning proceeds by endowing the input data with a graph structure in order to extract geometric information and incorporate it into a Bayesian framework. We introduce new theory that gives appropriate…

This work concerns results on conditions guaranteeing that certain banded $M$-matrices have banded inverses. As a first goal, a graph theoretic characterization for an off-diagonal entry of the inverse of an $M$-matrix to be positive, is…

We establish a precise correspondence between the ABC Conjecture and N=4 super-Yang-Mills theory. This is achieved by combining three ingredients: (i) Elkies' method of mapping ABC-triples to elliptic curves in his demonstration that ABC…

Assuming the finiteness of the Shafarevich-Tate group of elliptic curves over number fields we make several observations on the birational Grotendieck anabelian setion conjecture. We prove that the birational setion conjecture for curves…

Every graph G can be embedded in a Euclidean space as a two-distance set. This allows us to reformulate the analogue of Borsuk's conjecture for two-distance sets in terms of graphs. This conjecture remains open for dimensions from 4 to 63.…

We prove the Baum--Connes conjecture with arbitrary coefficients for some classes of groups: (1) Linear algebraic groups over a non-archimedean local field. (2) Linear algebraic groups over the adeles of a global field k, provided that at…

We give a formulation for descent of level structures on deformations of formal groups, and study the compatibility between the descent and a norm construction. Under this framework, we generalize Ando's construction of H-infinity complex…

Although false for general graphs, this note gives an elementary proof of the bunkbed conjecture for any acyclic graph. The argument is short and self-contained, and may be of educational interest.

The data required for heterotic string theory with gauge group G, which for anomaly cancellation reasons must either be E8 x E8 or Spin(32)/Z2, consist of the following: a ten-dimensional space-time X and a principal G-bundle P. The fields…

Let $X$ be a locally Noetherian scheme with a closed subscheme $Z$. Let $\mathcal{X}$ be the completion of $X$ at $Z$, considered as a formal scheme. We show that a coherent sheaf on $X$ is equivalently given by a coherent sheaf on…

We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as…

This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order…