圏同値と圏双対の定義調べてもでてこないwwww
知ってる人いる?