Podstawowy monomorfizm

W matematyce , a konkretnie w teorii kategorii $.$ podstawowym monomorfizmem jest monomorfizm f w kategorii C taki że dla morfizmu g w C morfizm monomorfizmem tylko wtedy, gdy g jest monomorfizmem Podstawowe monomorfizmy w kategorii modułów to te , których obraz jest podstawowym podmodułem kodudomeny . Iniekcyjny kadłub obiektu X jest podstawowym monomorfizmem od X do obiektu iniekcyjnego .