view wisdom/morphism @ 8609:ecd196aab0c3

<boily> learn_append hppavilion[1] No es tan cluecless.
author HackBot
date Sun, 26 Jun 2016 01:12:00 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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