view wisdom/morphism @ 5894:7c17d7d45d88

<ais523> ls wisdom/* | shuf | head -n 10 | xargs rm
author HackBot
date Wed, 12 Aug 2015 23:38:58 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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