два множества единичных элементов).
Мне кажется, что из картинки не следует изоморфность, потому что не заданы морфизмы производящие тождественные морфизмы, т.к. здесь по сути один морфизм. Верно?
А что за группы-то? Единичный элемент, между прочим, в группе один, и это уже не очень про теорию категорий.
Ну скорее под группой имеется в виду множество. Неточно выразился.
Изоморфизм — это тоже один морфизм. Просто у него обратный есть.
Это биекция, конечно
я эту картинку читаю так: есть два разных множества: A и B и две разных функции A -> B и B -> A. вот эти две фукнции и образуют изоморфизм.
забывая про морфимы, это "биекция": "инъекция"+"суръеккция".
Обсуждают сегодня