圏論ではなるべく集合的な考え方（元を1つずつ見るような考え方）から離脱すべきだろう。 しかし、hom 集合は重要な役割を果たしているような気がする。 よって、hom 集合（や集合一般）の扱い方に習熟しておいてもよいような気がする。 補題 以下の3つは同…