Retrakcja (teoria kategorii)
Pojęcie retrakcji w teorii kategorii wymaga kategorii z podobiektami, co jest tylko nieznacznym, wprowadzonym przez Grothendiecka, wzbogaceniem pojęcia kategorii. Wtedy retrakcję definiujemy jako r-morfizm obiektu w jego podobiekt.