категорием одного объекта. Но не все морфизмы в нем это идентити морфизмы. Значит морфизм m: A -> A не всегда IdA?
Например в категории конечных множеств сколько существует функций из двух объектов в два объекта? Каждая из них не равный другому морфизм.
Обсуждают сегодня