[TYPES] origin of the term "hom-set"?
Derek Dreyer
dreyer at mpi-sws.org
Wed Nov 5 12:51:30 EST 2014
Hi. Does anyone know the origin of the term "hom-set"? It came up
yesterday in class, and after a little googling, I have not turned up
the answer. I always assumed it stood for "homomorphism set" (?) but
even that much I have not been able to verify, and it doesn't explain
why we are talking about "homomorphisms" as opposed to "morphisms" (or
"sets" rather than "collections", since the hom-set is not always a
set). I presume there is some historical reason for this?
Thanks,
Derek
More information about the Types-list
mailing list