Related papers: A Double Categorical Framework for Multi-Stage Por…
We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…
A typical large complex-structure limit for mirror symmetry consists of toric varieties glued to each other along their toric boundaries. Here we construct the mirror large volume limit space as a Weinstein symplectic manifold. We prove…
Designing topological materials with specific topological indices is a complex inverse problem, traditionally tackled through manual, intuition-driven methods that are neither scalable nor efficient for exploring the vast space of possible…
This is an overview of double categories of "open systems": systems that can interact with their environment. We focus on the variable sharing paradigm, where we compose open systems by identifying variables. This paradigm is often…
Near-integrability is usually associated with smooth small perturbations of smooth integrable systems. Studying integrable mechanical Hamiltonian flows with impacts that respect the symmetries of the integrable structure provides an…
We show that the category of (reflexive) graphs and graph maps carries exactly two closed symmetric monoidal products: the box product and the categorical product.
We define a topological Hochschild (THH) and cyclic (TC) homology theory for differential graded (dg) categories and construct several non-trivial natural transformations from algebraic K-theory to THH(-). In an intermediate step, we prove…
In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…
Duality for robust hedging with proportional transaction costs of path dependent European options is obtained in a discrete time financial market with one risky asset. Investor's portfolio consists of a dynamically traded stock and a static…
We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known…
A key challenge in topology optimization (TopOpt) is that manufacturable structures, being inherently binary, are non-differentiable, creating a fundamental tension with gradient-based optimization. The subpixel-smoothed projection (SSP)…
We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. Specifically, we give a complete…
We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Mart\'inez's link between Makkai's FOLDS (first order logic with…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…
For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…
We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract concepts are necessary to handle the presence of oplax…
Understanding quantum phases and phase transitions in the presence of symmetries is a central objective of quantum many-body physics. A powerful modern paradigm for investigating this problem is topological holography, which relates…
Homological mirror symmetry is a conjecture that a category constructed in the A-model and a category constructed in the B-model are equivalent in some sense. We construct a cyclic differential graded (DG) category of holomorphic vector…
We use Kan injectivity to axiomatise concepts in the 2-category of topoi. We showcase the expressivity of this language through many examples, and we establish some aspects of the formal theory of Kan extension in this 2-category (pointwise…