log wisdom/morphism @ 10275:aebd19c2ca17

age author description
Tue, 18 Oct 2016 23:06:35 +0000 HackBot <tswett> slwd morphism//s/functors on/diagrams of/
Tue, 03 Feb 2015 23:38:38 +0000 HackBot <oerjan> learn A morphism is just a natural transformation between two functors on 1.
Wed, 31 Jul 2013 20:53:16 +0000 HackBot <Bike> revert
Wed, 31 Jul 2013 20:46:16 +0000 HackBot <FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done
Sat, 12 Jan 2013 20:07:53 +0000 HackBot <elliott> revert 1492
Mon, 07 Jan 2013 21:13:45 +0000 HackBot <oerjan> echo "Morphisms are just elements of the Hom-set of a pair of objects." >wisdom/morphism
Mon, 07 Jan 2013 10:19:55 +0000 HackBot <fizzie> sed -i -e \'s/is a/is just a/\' wisdom/morphism