Лекция 4. Диагональная естественность. Алгебраические структуры заданной сигнатуры
- 00:15Единица и коединица сопряжения, зависящего от параметра
- 02:47Диагональная естественность. Диестественное преобразование
- 15:48Теорема
- 35:06Примеры
- 46:32Алгебраические структуры заданной сигнатуры (универсальная алгебра, алгебраическая система без отношений)
- 53:47Пример
- 57:52Абсолютно свободная алгебраическая структура
- 01:03:08Тождества в алгебраической структуре
- 01:11:59Конгруэнция на алгебраической структуре
- 01:17:57Т-конгруэнция
- 01:26:55Многообразие алгебраических структур
