KV
n - неотрицательное целоедальше к обеим частям слева надо прибавить f1(-n) и оно сократится
f1(n - n) = e
=> f1(n) + f1(-n) = e
f2(n - n) = e
=> f2(n) + f2(-n) = e
f1(n) + f1(-n) = f2(n) + f2(-n)
f1(n) = f2(n)
=> f1(n) + f1(-n) = f1(n) + f2(-n)
Size: a a a
2018 April 10
АТ
n - неотрицательное целоедальше к обеим частям слева надо прибавить f1(-n) и оно сократится
f1(n - n) = e
=> f1(n) + f1(-n) = e
f2(n - n) = e
=> f2(n) + f2(-n) = e
f1(n) + f1(-n) = f2(n) + f2(-n)
f1(n) = f2(n)
=> f1(n) + f1(-n) = f1(n) + f2(-n)
Это ты доказал что это вложение - эпиморфизм?
KV
Это ты доказал что это вложение - эпиморфизм?
Да
АТ
Да, то что это моно, это очевидно. Круто, спасибо!
Oℕ
классно, да
2018 April 11
Oℕ
так и думал
ML
не, последние ребята из Haskell-чата
IK
Ну, я во всех этих чатах есть.
АЧ
Товарищи, есть такой вопрос: https://www.quora.com/How-can-the-Euclidean-algorithm-be-expressed-in-the-category-theory?__filter__=all&__nsrc__=1&__snid3__=2270006457
Я понимаю, что теоркат сложно натянуть на такие алгоритмы, по сути своей ничего не делающие, кроме снижения "сложности" вычисления с человеческой точки зрения, но может есть какой-то способ?
Я понимаю, что теоркат сложно натянуть на такие алгоритмы, по сути своей ничего не делающие, кроме снижения "сложности" вычисления с человеческой точки зрения, но может есть какой-то способ?
NI
Допускаю, что хорошее обобщение есть.
С ходу, не скажу, как это сделать.
Для начала, надо хорошее категорное обобщение евклидового кольца.
Или что-то более частное, но категорно красиво выражающееся...
С ходу, не скажу, как это сделать.
Для начала, надо хорошее категорное обобщение евклидового кольца.
Или что-то более частное, но категорно красиво выражающееся...
NI
Короче, имхо, это неплохая задача.
Т.е., смысл вполне имеет.
Т.е., смысл вполне имеет.
АЧ
О, спасибо большое, буду резерчить
Oℕ
Товарищи, есть такой вопрос: https://www.quora.com/How-can-the-Euclidean-algorithm-be-expressed-in-the-category-theory?__filter__=all&__nsrc__=1&__snid3__=2270006457
Я понимаю, что теоркат сложно натянуть на такие алгоритмы, по сути своей ничего не делающие, кроме снижения "сложности" вычисления с человеческой точки зрения, но может есть какой-то способ?
Я понимаю, что теоркат сложно натянуть на такие алгоритмы, по сути своей ничего не делающие, кроме снижения "сложности" вычисления с человеческой точки зрения, но может есть какой-то способ?
Евклидов - это про решение линейных диофантовых?
АЧ
Ну его можно там использовать, но это просто про нахождение НОД двух чисел
Oℕ
Ну его можно там использовать, но это просто про нахождение НОД двух чисел
Ну вот это же частный случай
Oℕ
Так какой интересует?
NI
Классически, это вычисление наибольшего общего делителя...
Формулируется в евклидовых кольцах.
Например, в кольцах многочленов над целостным кольцом.
Понятие "наибольший" тут естественно.
Формулируется в евклидовых кольцах.
Например, в кольцах многочленов над целостным кольцом.
Понятие "наибольший" тут естественно.
Oℕ
Про НОД или про общий случай?
NI
Когда я писал свой ответ, я думал про классический случай евклидового кольца.