Мультикатегории и многообразия многосортных алгебр

Дано прямое доказательство того, что каждое многообразие многосортных универсальных алгебр рационально эквивалентно многообразию алгебр над некоторой FSet-мультикатегорией (многосортным аналогом FSet-операды), причем мультикатегория непосредственно строится, исходя из свободных алгебр данного многообразия.