Начинаем чтение A Course in Universal Algebra, Burris S., Sankappanavar H.
Замечали ли вы когда-нибудь, что основные теоремы алгебраических теорий — это структурные теоремы о классификации? Может быть, это вообще основной вопрос алгебры: как сложные модели алгебраических структур раскладываются на простые? Может быть, самые фундаментальные теоремы мы получим, если будем смотреть на отношения структуры к её подструктурам? Тем более таким образом часто возникают решётки... С примерно такой мотивацией Ойстин Оре начинал развивать свою теорию структур в 1930х и его работы оказали влияние на развитие универсальной алгебры, наряду с Гарретом Биркгофом и Анатолием Мальцевым. Приглашаю разобраться, что может предложить универсальная алгебра и почему она остается важной даже в свете развития теории категорий.
Встречаемся на нашем дискорд-сервере в субботу, 9 ноября, 19:00 по Москве, прочитать Preface и Preliminaries.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Замечали ли вы когда-нибудь, что основные теоремы алгебраических теорий — это структурные теоремы о классификации? Может быть, это вообще основной вопрос алгебры: как сложные модели алгебраических структур раскладываются на простые? Может быть, самые фундаментальные теоремы мы получим, если будем смотреть на отношения структуры к её подструктурам? Тем более таким образом часто возникают решётки... С примерно такой мотивацией Ойстин Оре начинал развивать свою теорию структур в 1930х и его работы оказали влияние на развитие универсальной алгебры, наряду с Гарретом Биркгофом и Анатолием Мальцевым. Приглашаю разобраться, что может предложить универсальная алгебра и почему она остается важной даже в свете развития теории категорий.
Встречаемся на нашем дискорд-сервере в субботу, 9 ноября, 19:00 по Москве, прочитать Preface и Preliminaries.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC