Mercurial > repo
annotate wisdom/natural transformation @ 2072:2b8049bbcbad
<shachaf> echo \'tail -n+2 "$0" | xargs; exit\' > bin/emptylist; chmod +x bin/emptylist
author | HackBot |
---|---|
date | Sat, 09 Feb 2013 06:06:41 +0000 |
parents | 4c3105a6aae1 |
children | c777e2d91031 3bd6df98c33e |
rev | line source |
---|---|
37
4c3105a6aae1
<oerjan> run mv wisdom/natural wisdom/"natural transformation"
HackBot
parents:
diff
changeset
|
1 Natural transformations are just morphisms in the category of functors |