for A, B being category st A,B are_opposite holds
dualizing-func (A,B) is bijective