view wisdom/morphism @ 8638:0c8c5d021bf0

<izabera> ` sed -i \'y/F/f/\' bin/wisdom
author HackBot
date Tue, 28 Jun 2016 20:35:44 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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