Talk:Normal morphism
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Confusing definition. Is it correct?
[edit]The section Definition begins as follows:
"A monomorphism is normal if it is the kernel of some morphism, and an epimorphism is conormal if it is the cokernel of some morphism."
But as I understand it, a monomorphism and an epimorphism are kinds of morphisms, while a kernel and a cokernel are types of objects.
Thus the quoted sentence does not make sense to me.
I hope that someone knowledgeable about this subject can ensure that this is correct, and perhaps explain the apparent problem.