# HG changeset patch
# User HackBot
# Date 1494442431 0
# Node ID 147cf9cf33ba7bb5d720559e3b85d18e2cff597d
# Parent  65260e6f4c101a8fa66067f4358b7ed2d38f41cb
<shachaf> slwd morphism//s.1.shape 1.

diff -r 65260e6f4c10 -r 147cf9cf33ba wisdom/morphism
--- a/wisdom/morphism	Tue May 09 14:48:33 2017 +0000
+++ b/wisdom/morphism	Wed May 10 18:53:51 2017 +0000
@@ -1,1 +1,1 @@
-A morphism is just a natural transformation between two diagrams of 1.
+A morphism is just a natural transformation between two diagrams of shape 1.