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

В математике , особенно в теории категорий , существенным мономорфизмом является мономорфизм i в абелевой категории C такой, что для морфизма f в C композиция $fi$ является мономорфизмом только тогда, когда f является мономорфизмом. Существенными мономорфизмами в категории модулей те, образ которых является существенным подмодулем кодомела являются . Инъективная оболочка объекта А — это существенный мономорфизм А в инъективный объект .