view wisdom/hom-set @ 3555:93e802f87c49

<Roujo> revert
author HackBot
date Thu, 29 Aug 2013 20:30:58 +0000
parents 76820f8a4c50
children
line wrap: on
line source

Hom-sets are just sets of morphisms between two objects.