Существенный мономорфизм - Essential monomorphism

В математика, конкретно теория категорий, существенный мономорфизм это мономорфизм ж в категория C такой, что для морфизма грамм в C, морфизм является мономорфизмом только тогда, когда грамм является мономорфизмом. Существенные мономорфизмы в категория модулей те, чей образ существенный подмодуль из codomain. Инъективная оболочка объекта Икс является существенным мономорфизмом из Икс для инъективный объект.

Рекомендации