Oℕ
я не знаком с определением категории, где требуется какой-то изоморфизм, кроме, пожалуй айдентити
Size: a a a
2019 December 24
A
не знаю, причем тут изоморфизмы)
(
ой
(
да
(
сори, спутал
(
я имел ввиду идентити
Oℕ
честно говоря. если бы я воспринимал это как техзадание, я вообще даже приблизительно не понял чего бы ты хотел
(
ты имеешь в виду какую-то финитную категорию с конечным числом объектов и стрелок?
вот пример - я сейчас хочу натянуть набор бизнес-требований на фри категорию и проверить, что все необходимые требования к категории соблюдаются
A
Проверить граф на транзитивность?
(
так что да, речь о конечных категориях
Oℕ
вот пример - я сейчас хочу натянуть набор бизнес-требований на фри категорию и проверить, что все необходимые требования к категории соблюдаются
для фрикатегории всё выполняется автоматически
Oℕ
на то она и фри
(
хм
Oℕ
фри категория не обязательно содержит конечное число морфизмов
Oℕ
если твой граф содержит хотя бы один цикл гарантировано содержит бесконечное число
(
фри категория не обязана иметь идентити?
DM
фри категория не обязана иметь идентити?
идентити есть всегда, иначе мы не в том чате
Oℕ
фри категория - это построение, которое включает айдентити
Oℕ
базовый граф не обязан содержать петлей