本稿は、wikibooks「圏論」[1]の下のこちら[2]に移行しましたので、ここにはそのリンクを置きました。なお、[3]にて問題とされました不正確な箇所については、移動先にて本文同様に数学的に正しい記述にあらためました。