changeset 10877:147cf9cf33ba

<shachaf> slwd morphism//s.1.shape 1.
author HackBot
date Wed, 10 May 2017 18:53:51 +0000
parents 65260e6f4c10
children 1ed0b7a3fe32
files wisdom/morphism
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.