for I being set
for C being Category
for F being Function of I, the carrier' of C holds opp (F opp) = F