мономорфизм это

Ответ от Ёергей Павлович Зубков[гуру]
Эпиморфизм √ (от греческих слов e pi √ на, над, при, после и mo r jh ) или, что то же самое, сюръективное отображение (сюръекция) множества A на множество B √ отображение f такое, что образ A есть все B, т. е. f(A)=B. Вместо ╚ f сюръективно╩ говорят также ╚ f есть отображение множества A на множество B╩. Вообще, для сохранения общности часто говорят: ╚эпиморфизм в╩, ╚ изоморфизм в╩ , ╚ автоморфизм в╩ , но, разумеется, подразумевают: ╚ эпиморфизм на╩ , ╚изоморфизм на╩, ╚ автоморфизм на╩ , что непосредственно вытекает из определений соответствующих морфизмов. Так, во всех этих случаях образом отображения является все множество, т. е. для каждого элемента B существует прообраз в отображаемом множестве A. Эпиморфизм √ это также морфизм категории, на который можно сокращать слева.
Источник: