types of morphisms

Primary tabs

Defines:
monomorphism, epimorphism, bimorphism, retraction, section, coretraction, isomorphism, inverse morphism, split monomorphism, split epimorphism, epimorphic extension, epimorphic monomorphism
Type of Math Object:
Definition
Major Section:
Reference

Mathematics Subject Classification

Types of morphisms

I've added this entry despite the fact that some of these notions are already defined somewhere in PM. In my opinion it's good to have these definitions gathered in one place.

I've seen that epimorphism or monomorphism often redirects to
http://planetmath.org/encyclopedia/TypesOfHomomorphisms.html
where these notions are defined from the point of view of Universal Algebra, not category theory.

Regular mono/epimorphisms are defined in
http://planetmath.org/encyclopedia/Equalizer.html

I'll add extremal mono/epimorphisms in a separate entry.

Re: Types of morphisms

quetion: do it makes sense to speak of a <<homomorphism>> between open sets of complex vector spaces?