Related papers: A Classification of Six Functor Formalisms via Str…
For a vertex operator algebra $V$, one may naturally define spaces of conformal blocks following a construction of Frenkel-Ben-Zvi generalized by Damiolini-Gibney-Tarasca. If $V$ is strongly rational, these spaces of conformal blocks form…
We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…
We introduce fusion algebras with not necessarily positive structure constants and without identity element. We prove that they are semisimple when tensored with $\mathbb{C}$ and that their characters satisfy orthogonality relations. Then…
In this paper, we use a categorical and functorial set up to model the syntax and inference of logics with algebraic signature, extending previous works on algebraisation of logics. The main feature of this work is that structurality, or…
Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the…
Properties of morphisms represented by so-called 'string diagrams' of monoidal categories (and their braided and symmetric derivatives), mainly their resistance in value to isotopic deformation, have made the usage of graphical calculi…
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…
We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
For every nuclear $\mathbb Z_\ell$-algebra $\Lambda$ and every small v-stack $X$ we construct an $\infty$-category $\mathcal D_{\mathrm{nuc}}(X,\Lambda)$ of nuclear $\Lambda$-modules on $X$. We then construct a full 6-functor formalism for…
We systematically study the commutative factorization categories over the Ran space. We fill in what we consider as a gap in the construction of the factorizable Satake functor in the constructible setting in arXiv:1708.07205,…
In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any…
We establish the motivic six-functor formalism for fs log schemes. In particular, we prove the exact base change property, projection formula, and Poincar\'e duality. We also define Borel-Moore motivic homology, G-theory, and Chow homology…
A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…
Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that…
Understanding the large-scale physics is crucial for the spin foam approach to quantum gravity. We tackle this challenge from a statistical physics perspective using simplified, yet feature-rich models. In particular, this allows us to…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…
We informally review the construction of spacetime geometries with multifractal and, more generally, multiscale properties. Based on fractional calculus, these continuous spacetimes have their dimension changing with the scale; they display…
We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…