Let C be a category. A morphism f: X → Y in C is essential if a morphism g: Y → Z is a monomorphism if and only if g ° f is a monomorphism. Taking g to b
| This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
| |||||||||||
Let C be a category. A morphism f: X → Y in C is essential if a morphism g: Y → Z is a monomorphism if and only if g ° f is a monomorphism. Taking g to be the identity morphism of Y shows that an essential morphism f must be a monomorphism.
If X has an injective envelope Y, then Y is the largest essential extension of X. But the largest essential extension may not be injective.
Hazelmaye (talk) 15:23, 18 June 2021 (UTC)[1]
References
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.