view wisdom/hom-set @ 9451:8808873b9a3f

<moonythedwarf> ` tr \'\\n\' \' \'< tmp/canary > canary
author HackBot
date Wed, 26 Oct 2016 18:18:43 +0000
parents fa66282af2bf
children c777e2d91031
line wrap: on
line source

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