for C being Category
for f being Morphism of (C opp) holds (*id C) . f = opp f