>>6
双対圏って矢印ひっくり返すだけ。