
- категория групп, объектами которой служат группы, а морфизмами - гомоморфизмы групп.
Есть первая категорная аксиома: Два мн-ва

и

не пересекаются. Т.Е. мн-во морфизмов из

в

и из

в

Где

- класс объектов. В данном случае это мн-во групп.
У меня вопрос по поводу удовлетворения категории групп этой аксиоме. Если есть группы

- изоморфизм,

- вложение, образ которого равен

Как бы точно сказать, почему мы не имеем пересечения мн-в морфизмов

и

и тем самым нарушения аксиомы?