annotate wisdom/functor @ 9302:ee570e73c8d9

<boily> ` sed -i \'s/of in/in/\' wisdom/spork
author HackBot
date Mon, 17 Oct 2016 00:03:56 +0000
parents 1e323fe0c60e
children 69b3e38974d3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8230
1e323fe0c60e <oerjan> ` sed -i \'s/$/./\' wisdom/functor
HackBot
parents: 0
diff changeset
1 Functors are just morphisms in the category of small categories.