Похожие чаты

Множество автоморфизмов это подмножества множества эндоморфизмов. Множество эндоморфизмов это экспоненциальный

объект.

Для двойственности видимо нужен коэкспоненциальный? Коэкспоненциального объекта в множествах нету

3 ответов

41 просмотр

А к чему тут автоморфизмы (т.е. изоморфные морфизмы объекта в себя), если речь о двух объектах

Nikita-Repeev Автор вопроса
Brenoritvrezorkre
А к чему тут автоморфизмы (т.е. изоморфные морфизм...

Ну а с чем кроме себя у множества есть изоморфизм ?

Nikita Repeev
Ну а с чем кроме себя у множества есть изоморфизм ...

Ну, для логики есть совместно выполняющиеся либо совместно невыполняющиеся пропозиции A и B; в материальных кондиционалах это может быть 2 + 2 = 4 <=> Солнце — звезда. Они одновременно выполняются, пусть и нет случаев, когда они не выполняются. Это вполне подходит под условия бикондиционала. В множествах это множество биекций между A и B. Мы можем показать, что натуральные числа биективны рациональным. В типах это эквивалентность типов. Ну, не знаю, строки и множества символов эквивалентны?

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

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

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
any reference of this implementation?
BitBuddha
29
Ⓐrtto, [4/23/24 7:02 PM] Please explain more fully how it is not working exactly, and what are the steps you are taking, and what error messages come or what happens. Ⓐrtto, ...
Ezza Kezza
2
sounds like people have lost their kaspa on tradeogre... does this mean tradeogre not trustworthy?
Ezza Kezza
15
Страшнейшая правда про списки ЦБ. С первых дней жизни P2P сферы, молодые человеки, начитавшись законодательной базы и "внутренних" документов, решили, что им противостоит сер...
Foxcool
3
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
So much speculation in the last week. So much volatility in price. This is because Hedera has a GC that isn't using the network it's governing. Why aren't people asking why a...
Summit Seeker R
9
Карта сайта