view wisdom/morphism @ 6471:6fa2991985ad

<izabera> ` sed -i s/!// bin/2015
author HackBot
date Thu, 31 Dec 2015 20:32:45 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

A morphism is just a natural transformation between two functors on 1.