— symmetric difference. Теоркат хуже, что ли?
Ты предполагаешь, что на Set это будет симметричная разница? Надо подумать
можно кстати ещё вспомнить про apartness в конструктивной логике
В материальных множествах это именно она
https://en.wikipedia.org/wiki/Apartness_relation
Ты не путай две вещи. Категорию подмножеств одного множества и категорию множеств.
Symmetric difference в материальной теории множеств можно проводить между разными множествами
Ты хочешь не только это
Я хочу эквивалент XOR и symmetric difference в теоркате, где бикондиционал и материальное множество биекций имеют теоркатный аналог в виде объекта изоморфизмов, а бикондиционал дуален XOR
Обсуждают сегодня