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

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

Tronin S. N.
Multicategories and varieties of many-sorted algebras

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 of this multicategory is straightforward and uses the free algebras of the given variety.

Полный текст статьи / Full texts:

• PDF file (505 KB)
• PostScript file (990 KB)