Related papers: On categorical approach to Verdier duality
We develop a general formalism of duality rotations for $\cal N$-extended superconformal gauge multiplets in conformally flat backgrounds as an extension of the approach given in arXiv:2107.02001. Additionally, we construct $\mathsf{U}(1)$…
The purpose of this work is to study the notion of bivariant theory introduced by Fulton and MacPherson in the context of motivic stable homotopy theory, and more generally in the broader framework of Grothendieck six functors formalism. We…
In this paper we present a Galois-Grothendieck-type correspondence for groupoid actions. As an application a Galois-type correspondence is also given.
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…
The notion of the genus of a quadratic form is generalized to vertex operator algebras. We define it as the modular braided tensor category associated to a suitable vertex operator algebra together with the central charge. Statements…
We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy…
This paper introduces and studies split two-sided 2-fibrations and locally discrete split two-sided 2-fibrations, using a formal categorical approach. We generalise Street's notion of split two-sided fibration internal to a 2-category to…
We present a new multisymplectic framework for second-order classical field theories which is based on an extension of the unified Lagrangian-Hamiltonian formalism to these kinds of systems. This model provides a straightforward and simple…
We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology…
We extend the $C^{\ast}-$algebraic formalism of Topological T-duality to section algebras of locally trivial bundles of strongly self-absorbing $C^{\ast}-$algebras and to a larger class of String Theoretic dualities. We argue that…
In analogy with the classical theory of topological groups, for finitely complete categories enriched with Grothendieck topologies, we provide the concepts of localized G-topological space, initial Grothendieck topologies and continuous…
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
The concept of a morphism determined by an object provides a method to construct or classify morphisms in a fixed category. We show that this works particularly well for triangulated categories having Serre duality. Another application of…
In this thesis, we present a flexible framework for specifying and constructing operads which are suited to reasoning about network construction. The data used to present these operads is called a \emph{network model}, a monoidal variant of…
Bivariant theory is a unified framework for cohomology and Borel-Moore homology theories. In this paper, we extract an $\infty$-enhanced bivariant homology theory from Gaitsgory-Rozenblyum's six functor formalism.
In this paper, we study algebras over the little cubes operads introduced by Boardman and Vogt, using the formalism of higher category theory.
We construct a 2-representation categorifying the symmetric Howe representation of $\mathfrak{gl}_m$ using a deformation of an algebra introduced by Webster. As a consequence, we obtain a categorical braid group action taking values in a…
We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.
A natural extension of Riemannian geometry to a much wider context is presented on the basis of the iterated differential form formalism developed in math.DG/0605113 and an application to general relativity is given.
We implement the O(d,d,Z) transformations of T-duality as automorphisms of the operator algebras of Conformal Field Theories. This extends these transformations to arbitrary field configurations in the deformation class.