λ
нет
Есть контрпример?
Size: a a a
2019 July 24
DM
Есть контрпример?
два морфизма между двумя объектами
DM
в одну сторону
DM
"для любого" сохранится, а уникальности уже нет
λ
два морфизма между двумя объектами
Мы ж про универсальнось. Что здесь есть универсальный объект
DM
я запутался в твоих вопросах
λ
Еще одно возможно не оч верное предположение, что универсальный (оптимальный объект) это начальный в некоторой категории. Или я совсем забредил..
DM
определение универсальности включает и то и то, оба качества разные (имхо, очевидно)
λ
я запутался в твоих вопросах
Ну типа как в группе. Из существования обратного можно вывести его единственность
Oℕ
Есть контрпример?
возьмём произведение в обычном ЯП с типами и тотальными функциями Int и String, но рассмотрим в качестве кандидата тип X = (Int, String, Boolean)
Тогда для любой пары f: A-> Int, g : A-> String, мы всё ещё можем найти fxg: A -> X, но не единственным образом, мы можем взять
a => (f(a), g(a), true) либо a => (f(a), g(a), false)
Тогда для любой пары f: A-> Int, g : A-> String, мы всё ещё можем найти fxg: A -> X, но не единственным образом, мы можем взять
a => (f(a), g(a), true) либо a => (f(a), g(a), false)
λ
возьмём произведение в обычном ЯП с типами и тотальными функциями Int и String, но рассмотрим в качестве кандидата тип X = (Int, String, Boolean)
Тогда для любой пары f: A-> Int, g : A-> String, мы всё ещё можем найти fxg: A -> X, но не единственным образом, мы можем взять
a => (f(a), g(a), true) либо a => (f(a), g(a), false)
Тогда для любой пары f: A-> Int, g : A-> String, мы всё ещё можем найти fxg: A -> X, но не единственным образом, мы можем взять
a => (f(a), g(a), true) либо a => (f(a), g(a), false)
Исчерпывающе
λ
Да детская ошибка была
Oℕ
Эту ошибку, невозможно допустить, если попробовать выполнять упражнения и доказать любые вещи про лимиты, сопряжения и т.п.
Уникальность критична
Уникальность критична
λ
Да, ты прав. Я совсем мало упражняюсь
DM
Эту ошибку, невозможно допустить, если попробовать выполнять упражнения и доказать любые вещи про лимиты, сопряжения и т.п.
Уникальность критична
Уникальность критична
да вот пример с произведением у того же Бартоша был
SK
Вот это вот правда
SK
Еще одно возможно не оч верное предположение, что универсальный (оптимальный объект) это начальный в некоторой категории. Или я совсем забредил..
SK
Здесь об этом было
NI
Еще одно возможно не оч верное предположение, что универсальный (оптимальный объект) это начальный в некоторой категории. Или я совсем забредил..
Начальный или терминальный. Тут терминология не вполне устоялась.
Я бы "универсальным" называл терминальный, а "коуниверсальным" начальный.
Я бы "универсальным" называл терминальный, а "коуниверсальным" начальный.