Abstract:We show that if $\mathcal{U}$ and $\mathcal{V}$ are locally finite abelian categories of modules for vertex operator algebras $U$ and $V$, respectively, then the Deligne tensor product of $\mathcal{U}$ and $\mathcal{V}$ can be realized as a certain category $\mathcal{D}(\mathcal{U},\mathcal{V})$ of modules for the tensor product vertex operator algebra $U\otimes V$. We also show that if $\mathcal{U}$ and $\mathcal{V}$ admit the braided tensor category structure of Huang-Lepowsky-Zhang, then $\mathcal{D}(\mathcal{U},\mathcal{V})$ does as well under mild additional conditions, and that this braided tensor structure is equivalent to the natural braided tensor structure on a Deligne tensor product category. These results hold in particular when $\mathcal{U}$ and $\mathcal{V}$ are the categories of $C_1$-cofinite $U$- and $V$-modules, if these categories are closed under contragredients, in which case we show that $\mathcal{D}(\mathcal{U},\mathcal{V})$ is the category of $C_1$-cofinite $U\otimes V$-modules. If $U$ and $V$ are $\mathbb{N}$-graded and $C_2$-cofinite, then we may take $\mathcal{U}$ and $\mathcal{V}$ to be the categories of all grading-restricted generalized $U$- and $V$-modules, respectively. Thus as an application, if the tensor categories of all modules for two $C_2$-cofinite vertex operator algebras are rigid, then so is the tensor category of all modules for the tensor product vertex operator algebra. We use this to prove that the representation categories of the even subalgebras of the symplectic fermion vertex operator superalgebras are non-semisimple modular tensor categories.

The Algebraic Weak Factorisation System for Delta Lenses

Lifting twisted coreflections against delta lenses

Monoidal Functors on the Category of Representations of a Triangular Hopf Algebra

Lenses and Learners

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems

Delta Lenses over Inductive Types.

Universal Properties of Lens Proxy Pullbacks

Weak Tensor Category and Related Generalized Hopf Algebras

Internal split opfibrations and cofunctors

An algebraic construction of functors between vertex algebras and Costello-Gwilliam factorization algebras

Electronic Communications of the EASST Volume 49 ( 2012 ) Proceedings of the First International Workshop on Bidirectional Transformations ( BX 2012 ) Delta Lenses over Inductive Types

Axiomatization of Boolean algebras via weak dicomplementations

A Category of Banach Space Functors

C*-Algebraic Factorization Homology and Realization of Cyclic Representations

Factorization systems and double categories

Deligne tensor products of categories of modules for vertex operator algebras

Folding Derived Categories with Frobenius Functors

A Hopf Algebra Associated with a Lie Pair

Assembly of Constructible Factorization Algebras

Almost Split Conflations for Complexes of Modules

Weak Multiplier Hopf Algebras II: Source and Target Algebras