Normal morphism

In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is one in which every epimorphism is conormal.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.