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