Con dado categoría $\mathcal{C}$ y su % de objetos $A$y $B$, un % de hom-set $\hom_\mathcal{C}(A, B)$son la colección de los morfismos de $A$ $B$. También es una noción relacionada de Funtor hom de $\mathcal{C}$ $\mathcal{Set}$, que los objetos relacionados con hom-juegos.
Pero ¿por qué el nombre "hom"? ¿Quién fue el primero en utilizar esta terminología y en qué contexto?
"Hom" significa homomorphism, el nombre usual de la estructura de la preservación de las funciones en el álgebra. Creo que la terminología se remonta a Eilenberg y Mac Lane artículo original en la categoría de teoría. Por supuesto, en cualquier categoría de los objetos no tienen necesidad de estructura, y los morfismos que ni siquiera necesita ser las funciones. Así, la terminología "morfismos" para las flechas en una categoría. Algunos de los textos de uso $Mor(x,y)$ en lugar de $Hom(x,y)$. También es común el ser más agnóstico y simplemente escribir $C(a,b)$ de los morfismos de $a$ $b$en la categoría de $C$.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
