Mercurial > repo
log
age | author | description |
---|---|---|
Thu, 01 Mar 2012 00:11:54 +0000 | HackBot | <oerjan> run mv wisdom/natural wisdom/"natural transformation" |
Thu, 01 Mar 2012 00:11:23 +0000 | HackBot | <oerjan> learn Natural transformations are just morphisms in the category of functors |