Мономорфизм
Мономорфи́зм ― морфизм formula_1 категории formula_2, такой что из всякого равенства formula_3 следует, что formula_4 (другими словами, на formula_5 можно сокращать слева). Часто мономорфизм из formula_6 в formula_7 обозначают formula_8.

Двойственным к понятию мономорфизм является понятие эпиморфизма. (При этом чтобы морфизм был изоморфизмом, в общем случае недостаточно биморфности — одновременной мономорфности и эпиморфности.)

Мономорфизмы представляют собой категорное обобщение понятия инъективной функции. Иногда эти определения совпадают, но в общем случае мономорфизм не соответствует инъективной функции.
Q217413
морфизм
Concept
Q217413
категории
Concept
Q2361385
Двойственным
Concept
Q1347208
эпиморфизм
Concept
Q189112
изоморфизмом
Concept
Q13424748
биморфности
Concept
Q182003
инъективной функции
Concept
Q1945067
Мономорфизм
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+5^^http://www.w3.org/2001/XMLSchema#decimal
5
NUMBER
+6^^http://www.w3.org/2001/XMLSchema#decimal
6
NUMBER
+7^^http://www.w3.org/2001/XMLSchema#decimal
7
NUMBER
+8^^http://www.w3.org/2001/XMLSchema#decimal
8
NUMBER
studies
studies
subclass of