Вопросик. Рассмотрим категорию P(X) подмножеств множества X с морфизмами в виде

Question

включений.
Пусть даны множества A,B. Какое категорное понятие выражает объект A\B?

0

07.08.2023

25 просмотров

Это довольно общо, в том смысле, что работает в любой когерентной категории https://ncatlab.org/nlab/show/complement#in_any_category

0

07.08.2023

Подобъект в смысле,что есть мономорфизм B -> A?

0

07.08.2023

https://ncatlab.org/nlab/show/lift Возможно релевантное

0

07.08.2023

akater · Accepted Answer

«Единственный подобъект X, такой что произведение X и B — инициальный объект, а копредел X ∐ B = A» пойдет?

0

07.08.2023