DG
Как точки со стрелками между ними, например)
Size: a a a
2021 June 29
Oℕ
ну в большинстве полезных категорий стрелок бесконечное число
Oℕ
т.е. в лучшем случае можно как всякие группы задают, нарисовать образующие и коммутативные диаграммы
Oℕ
интересно, можно ли по двум таким построениям получить построение произведения
Oℕ
наверное, можно
DG
Я сам не знаю, естественно.
Поэтому и спрашиваю — вдруг кто встречался с таким.
Поэтому и спрашиваю — вдруг кто встречался с таким.
SK
@zuzukp, спасибо за упоминание.
Я делаю user friendly визуальный редактор для теории категорий.
Рассчитываю его на широкий круг специалистов, поэтому там даже ни одного термина из теорката в интерфейсе. Но под капотом честный теорктат
Я делаю user friendly визуальный редактор для теории категорий.
Рассчитываю его на широкий круг специалистов, поэтому там даже ни одного термина из теорката в интерфейсе. Но под капотом честный теорктат
SK
Это правильный подход, да
DG
Круто!
Есть ли уже версия, которую можно посмотреть/скачать/купить?
Есть ли уже версия, которую можно посмотреть/скачать/купить?
SK
Пока в стадии альфы бесплатно)
IK
Это где-то искать уже можно?
SK
Пока еще альфа, есть баги. Поэтому не стал давать ссылку.
SK
Можно получить негативный user experience
SK
Сейчас идет финальный рефакторинг, релиз уже скоро)
2021 June 30
DG
Глупый вопрос)
Из "f * g1 = f * g2" следует "g1 = g2" только если f — это мономорфизм.
А вот из "g1 = g2" следует ли "f * g1 = f * g2" для любых f?
Из "f * g1 = f * g2" следует "g1 = g2" только если f — это мономорфизм.
А вот из "g1 = g2" следует ли "f * g1 = f * g2" для любых f?
DG
Ещё более глупый вопрос — а на каком формальном основании?
EZ
Возьмём x1, g1(x1)=g2(x1)=y по условию, f(y)=f(y)
к
раз g1 = g2, то можно заменить g1 на g2