Mathematics

We make a systematic study of duality phenomena in tensor-triangular geometry, generalising and complementing previous results of Balmer--Dell'Ambrogio--Sanders and Dwyer--Greenlees--Iyengar. A key feature of our approach is the use of…

In this paper, we investigate the singular values of a natural family of transfer operators twisted by large random permutation matrices. In the large N limit, we obtain a Weyl law for its singular values, valid asymptotically almost surely…

We provide a complete Sturm--Liouville spectral analysis of the Constant Elasticity of Variance (CEV) operator. By transforming the corresponding Fokker--Planck operator into a generalized Laguerre operator, we explicitly characterize its…

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…

We consider a compact smooth manifold $X$ of dimension $n+1$ with boundary $M=\partial X$. In a collar neighborhood of $M$, we assume that the metric has the form $g=u^{-\alpha}\bar g$, where $u$ is a boundary defining function, $\alpha\in…

We give an elementary proof of the statement that if an idempotent complete preadditive category has weak kernels and weak cokernels, then it has $n$-kernels if and only if it has $n$-cokernels, where $n$ is a nonnegative integer. As a…

In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is…

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…

In this paper we develop a systematic calculus for the Duistermaat index, a symplectic invariant defined for triples of Lagrangian subspaces. Introduced nearly half a century ago, this index has lately been the subject of renewed attention,…

We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…

We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids.…

For $l > 1$, the $l$-edge-connectivity $\kappa'_l(G)$ of a connected graph $G$ is defined as the minimum number of edges whose removal leaves a graph with at least $l$ components. A graph is minimally $(k,l)$-edge-connected if…

We prove a variant of Rauch's hot spots conjecture for hyperbolic planar domains with small Neumann or mixed Dirichlet-Neumann eigenvalues. We conclude, for instance, that on bounded convex domains in the hyperbolic plane with sufficiently…

We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…

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 describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software projec t CAP for algorithmic category theory. In particular, we describe the…

We investigate monotonicity properties of eigenvalues of the Dirichlet Laplacian in polyhedral layers of fixed width. We establish that eigenvalues below the essential spectrum threshold monotonically depend on geometric parameters defining…

We investigate Riguet congruences and generalized congruences on a category, focusing on their interrelations from both lattice-theoretic and category-theoretic perspectives. We also characterize functors that are full and surjective on…

These are the notes from lectures I gave at the Oberwolfach Seminar "Tensor Triangular Geometry and Interactions" which was held in October 2025. The aim of these notes is twofold: We develop notions of support for triangulated categories,…