Note that, following the property of opposite category, ( F o p ) o p = F {\displaystyle (F^{\mathrm {op} })^{\mathrm {op} }=F} .
Σημειώστε ότι, ακολουθώντας την ιδιότητα της αντίθετης κατηγορίας, ( F o p ) o p = F {\displaystyle (F^{\mathrm {op} })^{\mathrm {op} }=F} .