view wisdom/morphism @ 8618:083221c8c826

<oerjan> slwd gazelle//s,G,g,;s,$,.,
author HackBot
date Mon, 27 Jun 2016 03:02:24 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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