view wisdom/morphism @ 6195:5db9fad36146

<mroman> echo "echo \\$1: You\\\\\'ve been downvoted!" >> bin/downvote
author HackBot
date Thu, 05 Nov 2015 12:42:14 +0000
parents c3f8b4762fa7
children a655017e4390
line wrap: on
line source

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