  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 tensor categories in positive characteristic via
tilting modules for SL(2).
