diff wisdom/morphism @ 5251:c3f8b4762fa7

<oerjan> learn A morphism is just a natural transformation between two functors on 1.
author HackBot
date Tue, 03 Feb 2015 23:38:38 +0000
parents c091565553db
children a655017e4390
line wrap: on
line diff
--- a/wisdom/morphism	Sat Jan 31 02:16:34 2015 +0000
+++ b/wisdom/morphism	Tue Feb 03 23:38:38 2015 +0000
@@ -1,1 +1,1 @@
-Morphisms are just elements of the Hom-set of a pair of objects.
+A morphism is just a natural transformation between two functors on 1.