Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Eine Kategorie ist gegeben durch zwei Daten: Eine Klasse von Objekten und für je zwei Objekte X und Y einen Morphismus von X nach Y . Man schreibt Morphismen als Pfeile f : X -> Y . Im Fall einer konkreten Kategorie sind X und Y bestimmte Mengen und ein Morphismus f ist eine Funktion f : X -> Y die bestimmte Bedingungen erfüllt. Es ist nicht jede Kategorie automatisch konkret also ist nicht die unbedingt einzige Art von Morphismen.
Jedes Objekt X in jeder Kategorie hat einen identischen Morphismus geschrieben id X der ein neutrales Element der Komposition ist.
Sind f : X -> Y und g : Y -> X Morphismen mit f o g = id Y dann heißt f eine Retraktion (???) und g eine Sektion (???) .
Ist f sowohl eine Retraktion als auch eine dann heißt f Isomorphismus . In dem Fall können die Objekte X und Y als völlig gleichartig innerhalb ihrer Kategorie werden.
Ein Morphismus f : X -> Y mit folgender Eigenschaft heißt Epimorphismus :
Sind g h : Y -> Z beliebige Morphismen mit g o f = h o f dann ist stets g = h .
Ein Morphismus f : X -> Y mit folgender Eigenschaft heißt Monomorphismus :
Sind g h : W -> X beliebige Morphismen mit f o g = f o h dann ist stets g = h .
Ist f sowohl ein Epimorphismus als auch ein dann ist f ein Bimorphismus. Beachte dass nicht jeder ein Isomorphismus ist. Es ist jedoch jeder ein Isomorphismus der Epimorphismus und Sektion oder und Retraktion ist.