Symmetric monoidal closed categories generated by commutative adjoint monads
In this paper we introduce a notion of multilinear product for triples in Set, which if it is given by a distributive law then coincides with the one given by Bunge. We also demonstrate that the tensor product of two triples, if there exists, is an initial object in a suitable category of multilinear products.