Hom-函子是一类有着特殊保存(preserving)能力的函子。它们永远保存着(小)极限。
通俗地说,普通的集合都可以视为小范畴,而所有集合的全体则不能视为集合(可以视为真类,proper class),否则会导致罗素悖论,所以与之相对应的范畴 Set 是一个大范畴。
下面我们定义 hom-集合:
定义95(hom-集合)
设定一个小范畴 C , C 对象 A,B ,那么 hom-集合 C(A,B) 是从 A 到 B 的 C 箭头的集合。
n在数学中代表什么
Hom-函子是一类有着特殊保存(preserving)能力的函子。它们永远保存着(小)极限。
通俗地说,普通的集合都可以视为小范畴,而所有集合的全体则不能视为集合(可以视为真类,proper class),否则会导致罗素悖论,所以与之相对应的范畴 Set 是一个大范畴。
下面我们定义 hom-集合:
定义95(hom-集合)
设定一个小范畴 C , C 对象 A,B ,那么 hom-集合 C(A,B) 是从 A 到 B 的 C 箭头的集合。
数学中线性映射的集合Hom(U,V)中Hom是同态的意思
End(V)表示线性空间V上所有线性变换的全体,有时也记做Hom(V,V)
Hom(V,W)是从V到W的同态(homomorphism)的全体
Hom(V,V)就是V的自同态全体
在范畴论中,米田引理断言一个对象 X 的性质由它所表示的函子 Hom (X,-) 或 Hom (-,X) 决定。这里给出四个解释。
在望月