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

Question

Теория категорий

Nikita Repeev

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

объект.

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

0

06.03.2024

3 ответов

43 просмотра

Nikita Repeev Автор вопроса

Brenoritvrezorkre
А к чему тут автоморфизмы (т.е. изоморфные морфизм...

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

0

9 месяцев назад

Brenoritvrezorkre

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

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

0

9 месяцев назад

Brenoritvrezorkre · Accepted Answer

Brenoritvrezorkre

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

0

9 месяцев назад

Похожие чаты

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

3 ответов

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