Похожие чаты

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

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

10 ответов

48 просмотров

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

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

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

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

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

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

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

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

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

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

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
@Benzenoid can you tell me the easiest, and safest way to bu.y HEX now?
Živa Žena
20
This is a question from my wife who make a fortune with memes 😂😂 About the Migration and Tokens: 1. How will the old tokens be migrated to the new $LGCYX network? What is th...
🍿 °anton°
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
What is the Dex situation? Agora team started with the Pnetwork for their dex which helped them both with integration. It’s completed but as you can see from the Pnetwork ann...
Ben
1
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Anyone knows where there are some instructions or discort about failed bridge transactions ?
Jochem
21
@lozuk how do I get my phex copies of my ehex from a atomic wallet, to move to my rabby?
Justfrontin 👀
11
Карта сайта