view wisdom/morphism @ 9285:8320c9c4620f

<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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