Hom-set（同态集/态射集）：在范畴论中，给定两个对象 \(A\) 和 \(B\)，从 \(A\) 到 \(B\) 的所有态射（morphisms）所组成的集合，记作 \(\mathrm{Hom}(A,B)\) 或 \(\mathrm{Hom}_{\mathcal C}(A,B)\)。
/ˈhɒm sɛt/
In this category, the hom-set Hom(A, B) is finite.
在这个范畴里，Hom(A, B) 这个同态集是有限的。
If a category is locally small, then every hom-set Hom_{\mathcal C}(A,B) is a set (not a proper class), which allows us to define constructions like functors to Set and study natural transformations rigorously.
如果一个范畴是“局部小的”（locally small），那么每个同态集 Hom_{\mathcal C}(A,B) 都确实是一个集合（而不是一个真类），这使我们能够定义到 Set 的函子，并严谨地研究自然变换等结构。
hom- 来自 homomorphism（同态）这一词根的缩写，用来指“保持结构的映射”；set 指“集合”。合在一起，hom-set 就是“（同态/态射）所组成的集合”。在范畴论语境中，它通常更广义地指“态射集”，不必局限于代数结构中的同态。
Select Language