Related papers: Equivalences of Graded Categories

Suppose $G$ is a finite group. In this paper, we construct an equivalence between the $\infty$-category of algebras over an $N_{\infty}$-operad $\mathcal{O}$ associated to a $G$-indexing system $\mathcal{I}$ and the corresponding…

Imprimitivity theorems provide a fundamental tool for studying the representation theory and structure of crossed-product C*-algebras. In this work, we show that the Imprimitivity Theorem for induced algebras, Green's Imprimitivity Theorem…

We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the…

The orbifold construction $A\mapsto A^G$ for a finite group $G$ is fundamental in rational conformal field theory. The construction of $Rep(A^G)$ from $Rep(A)$ on the categorical level, often called gauging, is also prominent in the study…

In this paper, we extend the study of graded equivalences to the case of general idempotent graded rings. We prove that the existence of a graded equivalence between two categories of graded torsion-free unital modules may be characterized…

When formalizing mathematics in (generalized predicative) constructive type theories, or more practically in proof assistants such as Coq or Agda, one is often using setoids (types with explicit equivalence relations). In this note we…

We classify pointed fusion categories C(G, $\omega$) up to Morita equivalence for 1 < |G| < 32. Among them, the cases |G| = 2 3 , 2 4 and 3 3 are emphasized. Although the equivalence classes of such categories are not distinguished by their…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

Let $G$ be an abelian group and $\mathbb{K}$ an algebraically closed field of characteristic zero. A. Valenti and M. Zaicev described the $G$-gradings on upper block-triangular matrix algebras provided that $G$ is finite. We prove that…

We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to…

We show that the double category $\mathbb{C}\mathbf{at}^\#$ of comonoids in the category of polynomial functors (previously shown by Ahman-Uustalu and Garner to be equivalent to the double category of categories, cofunctors, and…

We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…

The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this…

We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to…

We determine the fusion rules of the equivariantization of a fusion category $\mathcal{C}$ under the action of a finite group $G$ in terms of the fusion rules of $\mathcal{C}$ and group-theoretical data associated to the group action. As an…

Let $A$ be a unital separable \CA and $B=C\otimes {\cal K},$ where $C$ is a unital \CA. Let $\tau: A\to M(B)/B$ be a weakly unital full essential extensions of $A$ by $B.$ We show that there is a bijection between a quotient group of…

For a given group $G$, it is natural to ask whether one can classify all isometric $G$-actions on Gromov hyperbolic spaces. We propose a formalization of this problem utilizing the complexity theory of Borel equivalence relations. In this…

After recalling basic definitions and constructions for a finite group $G$ action on a $k$-linear category we give a concise proof of the following theorem of Elagin: if $\mathcal{C} = \langle \mathcal{A}, \mathcal{B} \rangle$ is a…

Let $V$ be a simple, rational, $C_2$-cofinite vertex operator algebra and $G$ a finite group acting faithfully on $V$ as automorphisms, which is simply called a rational vertex operator algebra with a $G$-action. It is shown that the…

Let $\Mod \CS$ denote the category of $\CS$-modules, where $\CS$ is a small category. In the first part of this paper, we provide a version of Rickard's theorem on derived equivalence of rings for $\Mod \CS$. This will have several…