view wisdom/hom-set @ 2254:eef9b39ce5e8

<shachaf> undo 2243
author HackBot
date Tue, 26 Feb 2013 06:49:32 +0000
parents fa66282af2bf
children c777e2d91031
line wrap: on
line source

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