(A lot of rich mathematics can be developed by taking, in place of Set, cocommutative coalgebras as a base of hom-enrichment. It’s a cartesian closed category, for one thing.)

]]>Right. I remember worrying about this and then forgetting that I worried about it. Since the whole point of this exercise is to impose structure on Hom-sets I guess I should just get rid of that example.

]]>