Hom関手
圏論において、対象の間の射の集合（ともいう）は、集合の圏への関手を構成する。この関手をHom関手（ほむかんしゅ、）と呼び、圏論や数学の他の分野で多くの応用を持つ。