Retrakcja (teoria kategorii)
Ten artykuł od 2022-04 wymaga zweryfikowania podanych informacji. |
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.