Monoidal abelian envelopes

Abstract

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs interesting tensor categories in positive characteristic via tilting modules for ${\rm SL}_2$.