|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 関 ： [せき, ぜき] (suf) honorific added to names of makuuchi and juryo division sumo wrestlers ・ 手 ： [て] 【名詞】 1. hand
圏論において、ある圏の対象の間の射の集合（ともいう）は、への重要な函手を生成する。これらの函手をHom函手(Hom functor)と呼び、圏論や数学の他の分野で多くの応用を持つ。 ==定義== ''C'' を(locally small category)、つまり、hom-クラスが、集合であり、真クラスではない圏とする。 ''C'' の中のすべての対象 ''A'' と ''B'' に対し、次のように(category of sets)への 2つの函手を定義する。（以下の表では、共変は共変函手を意味し、反変は反変函手を意味する。）
|