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

These notes give a proof of the representability of homotopy invariant K-theory in the stable homotopy category of schemes (which was announced by Voevodsky). One deduces from the proper base change theorem in stable homotopy theory of…

We prove that Sarnak's conjecture holds for any infinite measure symbolic rank-one map. We further extended Bourgain-Sarnak's result, which says that the M\"{o}bius function is a good weight for the ergodic theorem, to maps acting on…

We show that the non-critical $c=1$ string at the self-dual radius is equivalent to topological strings based on the deformation of the conifold singularity of Calabi-Yau threefolds. The Penner sum giving the genus expansion of the free…

In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair steps are relatively terminating with respect to R. We further…

By developing the Tanaka theory for rank 2 distributions, we completely classify classical Monge equations having maximal finite-dimensional symmetry algebras with fixed (albeit arbitrary) pair of its orders. Investigation of the…

The purpose of this article is to study the relation between combinatorial equivalence and topological conjugacy, specifically how a certain type of combinatorial equivalence implies topological conjugacy. We introduce the concept of…

We demonstrate that type II string theory compactified on a singular Calabi-Yau manifold is related to $c=1$ string theory compactified at the self-dual radius. We establish this result in two ways. First we show that complex structure…

We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical…

For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…

This paper presents a formalization of decreasing diagrams in the theorem prover Isabelle. It discusses mechanical proofs showing that any locally decreasing abstract rewrite system is confluent. The valley and the conversion version of…

We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix…

Building on prior work that established Matrix Quasi-tree Theorems for special embedded graphs, in this paper, we develop a comprehensive theory applicable to all embedded graphs. We introduce symbolic skew-adjacency matrices and reduction…

Using the symmetric monoidal closed category structure of the category of measurable spaces, in conjunction with the Giry monad which we show is a strong monad, we analyze Bayesian inference maps and their construction in relation to the…

We give yet another proof of the list-color version of Brooks' theorem that is due, independently, to Vizing and to Erd\H{o}s, Rubin and Taylor, via a famous theorem of Dirac on chordal graphs.

We give a direct proof of Schensted's lemma asserting that row and column insertion in a tableau commute.

We show that the map obtained by viewing a geometric (ie. representative) braid as a string link induces an isomorphism of the n-strand braid group onto the group of units of the n-strand string link monoid.

The purpose of this paper is to provide a very short proof of a generalized categorified version, within the motivic stable homotopy category of Morel and Voevodsky, of the integral identity for virtual motives conjectured by Kontsevich and…

We connect several notions relating the structural and dynamical properties of a graph. Among them are the topological entropy coming from the vertex shift, which is related to the spectral radius of the graph's adjacency matrix, the…

We conjecture a multi-parameter generalization of the toric inequalities of \cite{Czech:2023xed}. We then extend their proof methods for the generalized toric inequalities in two ways. The first extension constructs the graph corresponding…

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…