view wisdom/hom-set @ 1716:691890e0806a

<Gregor> hg diff -r1703:1702 | patch -p1
author HackBot
date Thu, 24 Jan 2013 21:01:55 +0000
parents fa66282af2bf
children c777e2d91031
line wrap: on
line source

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