Mercurial > repo
view wisdom/morphism @ 10877:147cf9cf33ba
<shachaf> slwd morphism//s.1.shape 1.
author | HackBot |
---|---|
date | Wed, 10 May 2017 18:53:51 +0000 |
parents | a655017e4390 |
children |
line wrap: on
line source
A morphism is just a natural transformation between two diagrams of shape 1.