Dear Category theorists, in Categories for the Working Mathematician, page 164, MacLane relates an argument, "due to Isbell", why one cannot identify all isomorphic objects. I have not, however, been able to find any publication of Isbell that contains the argument. Does anyone here know if he published it? I also have a question about the argument itself: why is it made the way MacLane does it, rather than just though noticing that all functions from countable sets are countable, and thus themselves countable, and so isomorphic to any other countable set? It seems like it would follow directly from this that any functions on the natural numbers have to be equal, if isomorphic (i.e. equinumerious) sets are identical. Why is MacLane doing all the "detours" though products, epics, etc.? Thanks in advance, Staffan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]