Related papers: Categorical localization for the coherent-construc…

Various concerns suggest looking for internal co-categories in categories with strong logical structure. It turns out that in any coherent category, all co-categories are co-equivalence relations.

In this short \'etude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed from minimal data: that of a reflective and coreflective full subcategory. The situation has more symmetry than…

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone…

In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is…

The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by…

We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable…

We introduce a new type of duality structure for $A_\infty$-categories called a relative weak Calabi-Yau pairing which generalizes Kontsevich and Soibelman's notion of a weak (proper) Calabi-Yau structure. We prove the existence of a…

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…

Conformal prediction provides distribution-free coverage guarantees, but in many-class classification it may still under-cover specific classes or subpopulations, preventing safe deployment in high-stakes applications. We propose Cluster…

An important goal in studying the relations between unitary VOAs and conformal nets is to prove the equivalence of their ribbon categories. In this article, we prove this conjecture for many familiar examples. Our main idea is to construct…

It is obtained a natural generalisation of Uspenskij's selection characterisation of paracompact $C$-spaces. The method developed to achieve this result is also applied to give a simplified proof of a similar characterisation of paracompact…

The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived…

We give an explicit simple construction for classifying spaces of maps obtained as hyperplane projections of immersions. We prove structure theorems for these classifying spaces.

The categorical compositional approach to meaning has been successfully applied in natural language processing, outperforming other models in mainstream empirical language processing tasks. We show how this approach can be generalized to…

We develop a set of tools for doing computations in and of (partially) wrapped Fukaya categories. In particular, we prove (1) a descent (cosheaf) property for the wrapped Fukaya category with respect to so-called Weinstein sectorial…

We construct a functor from the Hecke category to a groupoid built from the underlying Coxeter group. This fixes a gap in an earlier work of the authors. This functor provides an abstract realization of the localization of the Hecke…

We construct natural equivalences between derived categories of coherent sheaves on the local models for stratified Mukai or Atiyah flops (of type A).

The stack of local Langlands parameters for a torus is a Picard stack. In this article, we explicitly determine its Picard dual and show that the Fourier-Mukai transform gives rise to the integral categorical local Langlands correspondence…

We prove a Dold-Kan type correspondence between the category of dendroidal abelian groups and a suitably constructed category of dendroidal complexes. Our result naturally extends the classical Dold-Kan correspondence between the category…

This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…