annotate wisdom/natural transformation @ 4801:c34c5813dfe7

<mroman_> learn mroman \xe3\x82\x88\xe3\x81\x8f\xe3\x82\x8f\xe3\x81\x8b\xe3\x82\x89\xe3\x81\xaa\xe3\x81\x84\xe3\x82\x88.
author HackBot
date Fri, 12 Sep 2014 08:32:51 +0000
parents 4c3105a6aae1
children c777e2d91031 3bd6df98c33e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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