Monoidal adjunctions and abelian envelopes

Johannes Flake, Robert Laugwitz, Sebastian Posur

We show how monoidal adjunctions can be used to prove the existence of monoidal abelian envelopes of pseudo-tensor categories, in particular, those admitting a combinatorial descri…