for A, B, C being category st A,B are_dual & B,C are_dual holds
A,C are_equivalent