view wisdom/hom-set @ 5512:94a8f88a544b

<shachaf> ` echo \'F="$(find wisdom -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnooodl; cat "$F" | rnooodl\' > bin/wisdom
author HackBot
date Thu, 11 Jun 2015 23:37:34 +0000
parents fa66282af2bf
children c777e2d91031
line wrap: on
line source

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