|
圏論において、ある圏の対象の間の射の集合（ともいう）は、への重要な函手を生成する。これらの函手をHom函手(Hom functor)と呼び、圏論や数学の他の分野で多くの応用を持つ。 ==定義== ''C'' を(locally small category)、つまり、hom-クラスが、集合であり、真クラスではない圏とする。 ''C'' の中のすべての対象 ''A'' と ''B'' に対し、次のように(category of sets)への 2つの函手を定義する。（以下の表では、共変は共変函手を意味し、反変は反変函手を意味する。）
|