# HG changeset patch # User HackBot # Date 1357337846 0 # Node ID 115a92e1a3bb41167accc2c1e2bac1c9478d7a0d # Parent a7a04780a66ac16eb1cf780d474c2bec2044908b echo "A morphism is a map between two objects in an abstract category." > wisdom/morphism # better?? diff -r a7a04780a66a -r 115a92e1a3bb wisdom/morphism --- a/wisdom/morphism Fri Jan 04 22:15:57 2013 +0000 +++ b/wisdom/morphism Fri Jan 04 22:17:26 2013 +0000 @@ -1,1 +1,1 @@ -A morphism is just an abstraction derived from structure-preserving mappings between two categories. +A morphism is a map between two objects in an abstract category.