射

圏の定義における、対象から対象へつなぐ矢印

射の集合として、Homを使う