Related papers: From Cubes to Twisted Cubes via Graph Morphisms in…
Global invertible symmetries act unitarily on local observables or states of a quantum system. In this note, we aim to generalise this statement to non-invertible symmetries by considering unitary actions of higher fusion category…
This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…
Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…
We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…
Several important cases of vector bundles with extra structure (such as Higgs bundles and triples) may be regarded as examples of twisted representations of a finite quiver in the category of sheaves of modules on a variety/manifold/ringed…
A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…
Twist defects in surface codes can be used to encode more logical qubits, improve the code rate, and implement logical gates. In this work we provide a rigorous formalism for constructing surface codes with twists generalizing the…
In this paper we study the topology of cobordism categories of manifolds with corners. Specifically, if {Cob}_{d,<k>} is the category whose objets are a fixed dimension d, with corners of codimension less than or equal to k, then we…
We use twisted sheaves and their moduli spaces to study the Brauer group of a scheme. In particular, we (1) show how twisted methods can be efficiently used to re-prove the basic facts about the Brauer group and cohomological Brauer group…
The purpose of this text is to prove all technical aspects of our model for dependent type theory with parametric quantifiers [Nuyts, Vezzosi and Devriese, 2017]. It is well-known that any presheaf category constitutes a model of dependent…
Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we…
The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to express various categorical structures in a systematic and…
We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism…
Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…
We investigate connected cubic vertex-transitive graphs whose edge sets admit a partition into a $2$-factor $\mathcal{C}$ and a $1$-factor that is invariant under a vertex-transitive subgroup of the automorphism group of the graph and where…
We outline the main features of the definitions and applications of crossed complexes and cubical $\omega$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the…
The purpose of this paper is to make the theory of vertex algebras trivial. We do this by setting up some categorical machinery so that vertex algebras are just ``singular commutative rings'' in a certain category. This makes it easy to…