Oℕ
А хорошо
Size: a a a
2019 October 10
OP
Алгебра, мне кажется, важнейшая математическая дисциплина для программистов.
а есть какие-то материалы по алгебре, интересные для программиста?
AG
туториалы по монадам :)
OP
ну в алгебре для программистов интересны могут быть не только монады наверное)
NI
а есть какие-то материалы по алгебре, интересные для программиста?
Раскопай, например, что такое базисы Грёбнера и алгоритм Бухбергера.
Ну и алгоритм Кнута-Бендикса.
https://en.wikipedia.org/wiki/Gröbner_basis
https://en.wikipedia.org/wiki/Knuth–Bendix_completion_algorithm
Ну и алгоритм Кнута-Бендикса.
https://en.wikipedia.org/wiki/Gröbner_basis
https://en.wikipedia.org/wiki/Knuth–Bendix_completion_algorithm
A
Чуть более подробно напишу, чем Евгений.
Как известно, множество всех подмножеств множества A является булевой решёткой. Опишем это категорно.
Рассмотрим все инъекции X→A.
Каждая инъекция будет определять какое-то подмножество.
Но могут быть две инъекции X₁→A и X₂→A, которые определяют одно и то же подмножество.
Тогда мы скажем, что если есть изоморфизм (биекция) X₁→X₂, то считаем, что это определение одного и того же подмножества.
Как известно, множество всех подмножеств множества A является булевой решёткой. Опишем это категорно.
Рассмотрим все инъекции X→A.
Каждая инъекция будет определять какое-то подмножество.
Но могут быть две инъекции X₁→A и X₂→A, которые определяют одно и то же подмножество.
Тогда мы скажем, что если есть изоморфизм (биекция) X₁→X₂, то считаем, что это определение одного и того же подмножества.
о, там оказывается есть маленькие циферки 1 и 2. А то я думал, что чего-то не понимаю.
NI
о, там оказывается есть маленькие циферки 1 и 2. А то я думал, что чего-то не понимаю.
Да, на моей клавиатуре есть и такие цифры! ₁A²
A
а на моем домашнем компьютере эти значки не отображаются
A
на рабочем отображаются
NI
Не думал, что так бывает почти в 20-м году...
Ладно, буду знать.
Ладно, буду знать.
V
У объектов в общем случае нет "элементов"
Зато всегда есть обобщенные элементы
2019 October 11
2019 October 12
NI
Bartosz Milewski
Fibrations, Cleavages, and Lenses
https://bartoszmilewski.com/2019/10/09/fibrations-cleavages-and-lenses/
#paper
Fibrations, Cleavages, and Lenses
https://bartoszmilewski.com/2019/10/09/fibrations-cleavages-and-lenses/
#paper
AT
готовиться начал уже к докладу)
AS
готовиться начал уже к докладу)
Ага
λ
готовиться начал уже к докладу)
Расскажи с чего ты предлагал начать освоение функтора ?
AT
Расскажи с чего ты предлагал начать освоение функтора ?
скорее мой комментарий был про то, что еще поделать перед тем, как к функтору перейти -- посмотреть на всякие конструкции из категорий. Типа обратная категория и т.п.
2019 October 14
ЗП
внезапно прочитав ряд трудов, оказывается
Неперов функтор и представимый функтор это одно и тоже, а еще это связано с логарифмами
Неперов функтор и представимый функтор это одно и тоже, а еще это связано с логарифмами
NR
внезапно прочитав ряд трудов, оказывается
Неперов функтор и представимый функтор это одно и тоже, а еще это связано с логарифмами
Неперов функтор и представимый функтор это одно и тоже, а еще это связано с логарифмами
Тавтологические контейнеры туда же