paragraph_text: mini|166x166px| f je retrakcija od g. g je prerez od f. U teoriji kategorija, grani matematike, prerez je desni inverz nekom morfizmu. Dvojstveno je retrakcija (skupljanje) nekog morfizma njegov lijevi inverz. Drugim riječima, ako su f : X → Y i g : Y → X morfizmi čija je kompozicija f <small>o</small> g : Y → Y morfizam identitete na Y, tada je g prerez od f, a f retrakcija od g.<ref>