view wisdom/hom-set @ 2994:6f88f973128d

<shachaf> for f in wisdom/*; do echo "$f"; cat wisdom/"$f"; echo; done | paste
author HackBot
date Thu, 30 May 2013 22:29:31 +0000
parents fa66282af2bf
children c777e2d91031
line wrap: on
line source

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