view wisdom/natural transformation @ 3281:ebb10a2f0393

<oerjan> echo \'A partial order is just a thin skeletal category.\' >wisdom/\'partial order\'
author HackBot
date Sat, 06 Jul 2013 03:39:59 +0000
parents 4c3105a6aae1
children c777e2d91031 3bd6df98c33e
line wrap: on
line source

Natural transformations are just morphisms in the category of functors