We give a direct proof of the fact that every variety of many-sorted universal algebras is rationally equivalent to a variety of algebras over some FSet-multicategory (a many-sorted analog of FSet-operads). The construction ...
We continue to develop the theory of multicategories over verbal categories. This theory includes both the usual category theory and the theory of operads, as well as a significant part of classical universal algebra. We ...