[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi, Derek. I am not sure of this myself, but I am forwarding this to the categories list as well. Category theorist: Do you happen to know the answer to Derek’s question? See below. I am willing to bet someone there knows. Very best, .\ Harley Eades On Nov 5, 2014, at 12:51 PM, Derek Dreyer <[email protected]> wrote: > [ 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
