１．７ \( {\rm Hom}\) 関手 圏論らしいと思わせてくれる関手の一つが\( {\rm Hom}\) 関手である。これは射を集合として扱えるようにしてくれる素晴らしい機能である。 １）\( {\rm Hom}\)集合 \( {\rm Hom}\) 関手の説明に先立って\( {\rm Hom}\)集合を説明…