view wisdom/morphism @ 5477:9cd1f62c1a0f

<ais523> ` rm -r looptest
author HackBot
date Mon, 08 Jun 2015 20:13:29 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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