AZ
но не могу найти явного упоминания
Size: a a a
2020 February 16
A
В категории колец с 1 начальный объект это кольцо целых чисел Z (оно бесконечное), а терминальный это просто двойственное к начальному понятие
A
Так что вовсе не обязательно
A
Просто часто так
AZ
и как работать с терминальным объектом который населен множеством значений?
A
в смысле как работать? это редкий случай, когда по каким-то причинам в него всё равно существует единственное отображение
AZ
просто пытаюсь понять, как определять является ли объектт ерминальным в категории
AZ
допустим есть объект, в который отовсюду идёт одна стрелка, пока вроде все ок
AZ
но при этом если заглянуть "внутрь" объекта то окажется что эти стрелки идут в разные элементы множества
A
но при этом если заглянуть "внутрь" объекта то окажется что эти стрелки идут в разные элементы множества
ну во-первых стрелки это не всегда отображения множеств
AZ
ну я про Hask в данном случае
A
Hask это ведь совершенно конкретная категория
A
В ней терминальный объект тоже конкретный и населен одним элементом
A
Ну если там про undefined не вспоминать
AZ
ну да, я просто рассуждал про похожую категорию на него и немного запутался
AZ
спасибо!
NI
Ещё, из простых (но важных!) примеров --
в категории функторов терминальный объект не очень похож на "один элемент".
в категории функторов терминальный объект не очень похож на "один элемент".
МБ
Правильно ли я рассуждаю?
Есть, ведь, ещё функторы. Как их определить без объектов? На одних стрелках будет сложно. Придётся вводить dom(f) и codom(f) для стрелок. А это технически ничем не лучше объектов. Потому что dom(f) должно нечто означать.
Oℕ
Есть, ведь, ещё функторы. Как их определить без объектов? На одних стрелках будет сложно. Придётся вводить dom(f) и codom(f) для стрелок. А это технически ничем не лучше объектов. Потому что dom(f) должно нечто означать.
точно так же
МБ
точно так же
А как hom-множества определять?