Retraktion
In der Kategorientheorie versteht man unter einer Retraktion einen Morphismus f, der eine rechte Inverse besitzt, das heißt, zu dem es einen Morphismus g gibt mit f o g = id.In der Topologie, also in der Kategorie Top, versteht man unter einer Retraktion eine stetige Funktion , wobei Y eine Teilmenge von X ist und f alle Punkte von Y unverändert läßt, also f(y)=y für alle y aus Y.