[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