Related papers: A Geometric Construction for Permutation Equivaria…

Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure.…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.

It is known that finite crossed modules provide premodular tensor categories. These categories are in fact modularizable. We construct the modularization and show that it is equivalent to the module category of a finite Drinfeld double.

In this paper we give a geometric construction of the Borel equivariant (co)homology for spaces with a $G$-action, where $G$ is a compact Lie group with the property that the adjoint representation is orientable. A nice feature of these…

For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…

Given a finite p-group G acting on a smooth projective curve X over an algebraically closed field k of characteristic p, the dimension of the tangent space of the associated equivariant deformation functor is equal to the dimension of the…

J. Pevtsova and the author constructed a ``universal $p$-nilpotent operator" for an infinitesimal group scheme $G$ over a field $k$ of characteristic $p > 0$ which led to coherent sheaves on the scheme of 1-parameter subgroups of $G$…

We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the…

Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies…

Let $G$ be a reductive group acting on a path algebra $kQ$ as automorphisms. We assume that $G$ admits a graded polynomial representation theory, and the action is polynomial. We describe the quiver $Q_G$ of the smash product algebra $kQ\#…

We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

Continuing our previous work on graded twisting of Hopf algebras and monoidal categories, we introduce a graded twisting construction for equivariant comodule algebras and module categories. As an example we study actions of quantum…

We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for…

We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…

Let $k$ be an algebraically closed field of positive characteristic $p$, and $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider the $\mathbb{F}$-linear category $\mathbb{F} pp_k^\Delta$ of finite groups, in which…

We consider \Gamma-equivariant principal G-bundles over proper \Gamma-CW-complexes with prescribed family of local representations. We construct and analyze their classifying spaces for locally compact, second countable topological groups…

Matrix models with continuous symmetry are powerful tools for studying quantum gravity and holography. Tensor models have also found applications in holographic quantum gravity. Matrix models with discrete permutation symmetry have been…

In this paper we study modular $G$-equivariant fusion categories and their extended Verlinde algebras. We dicuss settings in which fusion rules are diagonalizable. In particular, when $G = \mathbb{Z}_{2}$ we generalize the Verlinde formula.…