# HG changeset patch # User HackBot # Date 1357553995 0 # Node ID 1065d28be5ccd8f2ce25b7225f5b4379596e2a90 # Parent 9908e830aa8612421b7d52cf217e13294ac5ac13 sed -i -e \'s/is a/is just a/\' wisdom/morphism diff -r 9908e830aa86 -r 1065d28be5cc wisdom/morphism --- a/wisdom/morphism Mon Jan 07 10:13:50 2013 +0000 +++ b/wisdom/morphism Mon Jan 07 10:19:55 2013 +0000 @@ -1,1 +1,1 @@ -A morphism is a map between two objects in an abstract category. +A morphism is just a map between two objects in an abstract category.