[TYPES] origin of the term "hom-set"?
Harley Eades III
harley.eades at gmail.com
Wed Nov 5 13:27:37 EST 2014
I am not sure of this myself, but I am forwarding this to the categories list as
Category theorist: Do you happen to know the answer to Derek’s question?
I am willing to bet someone there knows.
.\ Harley Eades
On Nov 5, 2014, at 12:51 PM, Derek Dreyer <dreyer at mpi-sws.org> 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?
More information about the Types-list