Похожие чаты

Кроме того, в логике есть XOR, а в материальных множествах

— symmetric difference. Теоркат хуже, что ли?

10 ответов

13 просмотров

Ты предполагаешь, что на Set это будет симметричная разница? Надо подумать

можно кстати ещё вспомнить про apartness в конструктивной логике

Brenoritvrezorkre- Автор вопроса
Brenoritvrezorkre
А что это

https://en.wikipedia.org/wiki/Apartness_relation

Ты не путай две вещи. Категорию подмножеств одного множества и категорию множеств.

Brenoritvrezorkre- Автор вопроса
Nikita Repeev
Ты не путай две вещи. Категорию подмножеств одного...

Symmetric difference в материальной теории множеств можно проводить между разными множествами

Brenoritvrezorkre- Автор вопроса
Nikita Repeev
Ты хочешь не только это

Я хочу эквивалент XOR и symmetric difference в теоркате, где бикондиционал и материальное множество биекций имеют теоркатный аналог в виде объекта изоморфизмов, а бикондиционал дуален XOR

Похожие вопросы

Обсуждают сегодня

А кто-то пробовал, уезжая из Эстонии получить э-рез и продолжить вести предпринимательскую деятельность внутри Эстонии, используя свой OÜ?
Lalalashechki Lalala
62
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
Чем оно проблема?
Nikita Uzumaki
21
@samkazemian - couple questions: Update on frxBTC? - This would do well with the current influx of institutional investment entering the space Update on future veFXS streams...
Costi
16
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Does anyone here have a connection Mullvad? it would be nice to know what it would take to have them accept BCH 0-conf.
tl121x
16
Can an XMR transaction be tracked from its sender to its receiver by performing blockchain analysis, no matter how many addresses are used?
Trkz342
16
I arrived here after a Chico Crypto show highlighted the project & the Team - the fact that the Team had a long history of successfully working with household names gave me e...
Banter is Bullish
5
Карта сайта