Related papers: Two-dimensional topological theories, rational fun…

In this paper some results on the topology of the space of $k$-flats in $\mathbb R^n$ are proved, similar to the Borsuk-Ulam theorem on coverings of sphere. Some corollaries on common transversals for families of compact sets in $\mathbb…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between…

We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of…

In this paper we consider the existence and regularity problem for Coulomb frames in the normal bundle of two-dimensional surfaces with higher codimension in Euclidean spaces. While the case of two codimensions can be approached directly by…

Binary functions are a generalisation of the cocircuit spaces of binary matroids to arbitrary functions. Every rank function is assigned a binary function, and the deletion and contraction operations of binary functions generalise matroid…

Topological quantum field theories (TQFTs) are symmetric monoidal functors out of cobordism categories. In dimension two, oriented TQFTs are famously classified by commutative Frobenius algebras. In the unoriented setting, the…

We show that a finite type duality group of dimension $d>2$ is the fundamental group of a $(d+3)$-manifold with rationally acyclic universal cover. We use this to find closed manifolds with rationally acyclic universal cover and some…

Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…

For each integer $t$ a tensor category $V_t$ is constructed, such that exact tensor functors $V_t \longrightarrow C$ classify dualizable $t$-dimensional objects in $C$ not annihilated by any Schur functor. This means that $V_t$ is the…

A complete classifications, up to isomorphism, of two-dimensional associative and diassociative algebras over any basic field are given.

This is part II of our book on KAM theory. We start by defining functorial analysis and then switch to the particular case of Kolmogorov spaces. We develop functional calculus based on the notion of local operators. This allows to define…

Using the algebraic classification of all $2$-dimensional algebras, we give the algebraic classification of all $2$-dimensional rigid, conservative and terminal algebras over an algebraically closed field of characteristic 0. We have the…

We review an approach which aims at studying discrete (pseudo-)manifolds in dimension $d\geq 2$ and called random tensor models. More specifically, we insist on generalizing the two-dimensional notion of $p$-angulations to higher…

We discuss a reformulation of QED in which matter and gauge fields are integrated out explicitly, resulting in a many-body Lorentz covariant theory of 0+1 dimensional worldlines describing super-pairs of spinning charges interacting through…

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of…

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular…

Affine Kac-Moody algebras give rise to interesting systems of differential equations, so-called Knizhnik-Zamolodchikov equations. The monodromy properties of their solutions can be encoded in the structure of a modular tensor category on (a…

We study the dual formulation of the Monge-Kantorovich optimal transportation problem, in particular under what circumstances it is permitted in an infinite dimensional setting to use cylindrical functions, i.e. functions of the form…