tailcalled comments on Just because 2 things are opposites, doesn’t mean they’re just the same but flipped

[tailcalled]

A notable counterexample is FinVect, which has an equivalence of categories FinVect → FinVect^op.