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