view wisdom/morphism @ 8646:52256a4d5110

<izabera> ` echo tr A-Z\xc3\x98 a-z\xc3\xb8 > bin/lowercase
author HackBot
date Wed, 29 Jun 2016 00:16:56 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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