view wisdom/morphism @ 9705:a8c7db5d48cc

<shachaf> mkx bin/re-s//F="$(lastfiles)"; mv "${F}" "${F}s"
author HackBot
date Thu, 17 Nov 2016 17:03:37 +0000
parents a655017e4390
children 147cf9cf33ba
line wrap: on
line source

A morphism is just a natural transformation between two diagrams of 1.