PlanetMath: types of morphisms

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (230)
Orphanage
Unclass'd
Unproven (519)
Corrections (16)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

types of morphisms

(Definition)

Definition 1 A morphism $f:A\to B$ is a monomorphism, if for any two morphisms $g,h:C\to A$ the equality $f\circ g=f\circ h$ implies .

Dual notion: Morphism $f:A\to B$ is an epimorphism, if for any two morphisms $g,h:B\to C$ the equality $g\circ f=h\circ f$ implies .

A morphism is a bimorphism, if it is monomorphism and epimorphism at the same time. Also the names epimorphic extension and epimorphic monomorphism are used.

Definition 2 A morphism $f:A\to B$ is called retraction if there exists a morphism $g:B\to A$ such that $f\circ g=id_B$ .

Retractions are sometimes called split epimorphisms.

Dual notion: a morphism $f:A\to B$ is a section (or coretraction or split monomorphism) if there exists a morphism $g:B\to A$ such that $g\circ f=id_A$ .

A morphism $f:A\to B$ is an isomorphism if it is a retraction and section at the same time.

Bimorphism and isomorphism are examples of self-dual properties. The condition that is isomorphism is equivalent to the existence of a morphism with $f\circ g=id_B$ and $g\circ f=id_A$ (for the proof see properties of monomorphisms and epimorphisms).

Definition 3 If is an isomorphism then the morphism $g:B\to A$ such that $f\circ g=id_B$ and $g\circ f=id_A$ is called inverse morphism of and denoted by $f^{-1}$ .

Definition 4 If there exists an isomorphism $f:A\to B$ we say that the objects and are isomorphic, denoted by $A\cong B$ .

"types of morphisms" is owned by kompik.

(view preamble)

See Also: types of homomorphisms

Also defines:

monomorphism, epimorphism, bimorphism, retraction, section, coretraction, isomorphism, inverse morphism, split monomorphism, split epimorphism, epimorphic extension, epimorphic monomorphism

Attachments:: properties of monomorphisms and epimorphisms (Theorem) by kompik
extremal monomorphism (Definition) by kompik
image of a morphism (Definition) by CWoo
balanced category (Definition) by CWoo

Log in to rate this entry.
(view current ratings)

Cross-references: isomorphic, objects, inverse, properties of monomorphisms and epimorphisms, proof, equivalent, properties, self-dual, implies, equality, morphism
There are 75 references to this entry.

This is version 13 of types of morphisms, born on 2006-06-30, modified 2008-10-08.
Object id is 8114, canonical name is TypesOfMorphisms.
Accessed 6608 times total.

Classification:

AMS MSC:

18A05 (Category theory; homological algebra :: General theory of categories and functors :: Definitions, generalizations)

Pending Errata and Addenda

None.[ View all 6 ]

Discussion

forum policy

Types of morphisms by kompik on 2006-06-30 09:17:33

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.

They can be found e.g. in
http://planetmath.org/encyclopedia/AbelianCategory.html
http://planetmath.org/encyclopedia/Epi.html
http://planetmath.org/encyclopedia/Monic.html

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.

[ reply | up ]

Re: Types of morphisms by juanman on 2006-06-30 14:44:52

Interact