L🇷
гхм, окей, почитаю спасибо за ссылки)
В прклятой книге с динозаврами даётся вроде бы такое опредедение категории, через протокатегории и протоморфизмы.
https://ncatlab.org/nlab/show/protocategory
Size: a a a
2020 February 26
t
а как называется книга с динозаврами?
t
спасибо
2020 February 28
G
(a, b, c) и ((a, b), c) уникальны до уникального изоморфизма или уникальны до изоморфизма в Hask?G
Я думаю, что до уникального изоморфизма
Oℕ
Уточните вопрос
Oℕ
Уникальны в каком-то качестве?
G
Мы можем отобразить продукт
(a, b, c) в ((a, b), c) и обратно без потери информацииOℕ
Это называется изоморфизм, но вопрос про какую-то уникальность.
О чём речь?
О чём речь?
Oℕ
Вы про произведения?
G
В последнем предложении "..., whereas here they are only equal "up to isomorphism"". Почему они не равны до уникального изоморфизма, где ещё изоморфизмы?
Oℕ
В этом предложении речь о произведениях
G
Oℕ
Тогда можно сказать, что произведение как функция на объектах ассоциативна с точностью до изоморфизма
Oℕ
Т.е. выполнив композицию произведения разными способами мы получили изоморфные объекты
G
А можно сказать, что кортежи
((a, b), c) и (a, (b, c)) уникальны до уникального изоморфизма?Oℕ
Поэтому исходные два объекта - это два разных типа, разных объекта в Hask, каждый из них сам по себе вполне уникален без уточнений.
Но оба они подходят на роль произведения трёх объектов
Но оба они подходят на роль произведения трёх объектов
Oℕ
А можно сказать, что кортежи
((a, b), c) и (a, (b, c)) уникальны до уникального изоморфизма?Нет