>>341
逆だと思う
なんでこの定義になるのかわからない、というのは、もっと抽象的な立場からすると自然な定義であることが多い。
圏論の教科書はもっと抽象的に書かれるべき