Related papers: Foundations of $(A_\infty,2)$-categories: from flo…
In this paper we develop a novel mathematical formalism for the modeling of neural information networks endowed with additional structure in the form of assignments of resources, either computational or metabolic or informational. The…
This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…
We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object oriented approach to generic programming of reusable, high…
I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…
Dimitri Ara's 2-quasi-categories, which are certain presheaves over Andr\'{e} Joyal's 2-cell category $\Theta_2$, are an example of a concrete model that realises the abstract notion of $(\infty,2)$-category. In this paper, we prove that…
This work is a sequel to [arXiv:2410.18575], and a third and final installment of the program initiated in [arXiv:2311.18302]. We show how, via a 3d gauged Landau-Ginzburg model interpretation of certain topologically-twisted 5d…
Twisted arrow $\infty$-categories of $(\infty,1)$-categories were introduced by Lurie, and they have various applications in higher category theory. Abell\'{a}n Garc\'{i}a and Stern gave a generalization to twisted arrow $\infty$-categories…
We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category…
We construct a thin double category HS (Hub-and-Spoke) whose objects are closed subsets of standard simplices, horizontal morphisms are continuous maps representing portfolio re-implementation processes, and vertical morphisms are closed…
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition.…
We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…
A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are…
In this paper, we consider a simple class of stratified spaces -- 2-complexes. We present an algorithm that learns the abstract structure of an embedded 2-complex from a point cloud sampled from it. We use tools and inspiration from…
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
Topological filters via sheaves generalize the classical linear translation-invariant filter theory by attaching the filter computation locally to a simplicial topological space. This paper develops topological filters for causal signal…
A double category is constructed from a `fattened' version of a given category, motivated in part by a context of parallel transport. We also study monoidal structures on the underlying category and on the fattened category.
This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…
AlphaGeometry represents a milestone in neuro-symbolic reasoning, yet its architecture faces a log-linear scaling bottleneck within its symbolic deduction engine that limits its efficiency as problem complexity increases. Recent technical…
In operator-algebraic AQFT one routinely moves back and forth between two kinds of structure: inclusions of local algebras coming from inclusions of regions, and bimodules/intertwiners that implement the standard $L^2$-based constructions…