Minimality of the System of Seven Equations for the Category of Finite Sets

Abstract A. Burroni and later Y. Lafont, proposed a presentation of the monoidal category of finite sets with three generators and seven equations. We prove that none of these equations is superfluous by considering interpretations into monoidal categories.