>>518
>圏論の簡単な演習問題だ。

誰かこの演習問題やらないか?