[TYPES] origin of the term "hom-set"?

Derek Dreyer <[email protected]>
Newsgroups gmane.comp.science.types
Message-ID <CAEX2k5EgPV6YRkb-CfzZUVL+wcoqQ78Czn8ewE98U-wFGC1pyw@mail.gmail.com>
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.