Related papers: Geometric Invariants for Fusion Categories

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to…

We derive a relation between four-fermion QED Green functions of different covariant gauges which defines the gauge dependence completely. We use the derived gauge dependence to check the gauge invariance of atom-like bound state…

We use a 2-categorical version of (de-)equivariantization to classify (3+1)d topological orders with a finite $G$-symmetry. In particular, we argue that (3+1)d fermionic topological order with $G$-symmetry correspond to…

Gauging is a powerful operation on symmetries in quantum field theory (QFT), as it connects distinct theories and also reveals hidden structures in a given theory. We initiate a systematic investigation of gauging discrete generalized…

We consider families of geometries of D--dimensional space, described by a finite number of parameters. Starting from the De Witt metric we extract a unique integration measure which turns out to be a geometric invariant, i.e. independent…

We develop the Witt group for certain braided monoidal categories with duality. In case of a braided fusion category over an algebraically closed field of characteristic zero, we explicitly describe this structure. We then use this…

Gauging a symmetry can be thought of as the insertion of a spacetime-filling defect. Accordingly, we regard each gaugeable symmetry in a theory as defining a $-1$-form symmetry via condensation. The resulting operators, called gauge…

We show that a braided monoidal category C can be endowed with the structure of a right (and left) module category over C \times C. In fact, there is a family of such module category structures, and they are mutually isomorphic if and only…

A massive gauge invariant formulation for scalar ($\phi$) and antisymmetric ($C_{mnp}$) fields with a topological coupling, which provides a mass for the axion field, is considered. The dual and local equivalence with the non-gauge…

In this paper we continue our investigation of the global categorical symmetries that arise when gauging finite higher groups and their higher subgroups with discrete torsion. The motivation is to provide a common perspective on the…

This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…

Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…

Magnitude is a numerical isometric invariant of metric spaces, whose definition arises from a precise analogy between categories and metric spaces. Despite this exotic provenance, magnitude turns out to encode many invariants from integral…

The gauge symmetry of classical general relativity under space-time diffeomorphisms implies that any path integral quantization which can be interpreted as a sum over space-time geometries, gives rise to a formal invariant of smooth…

We derive a relation between four-fermion QED Green functions of different covariant gauges which defines the gauge dependence completely. We use the derived gauge dependence to check the gauge invariance of atom-like bound state…

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

The infinite group of deformed diffeomorphisms of the spacetime continuum is put into the basis of the gauge theory of gravity. This gives rise to some new ways for unification of gravity with other gauge interactions.

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…

A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…