diff wisdom/functor @ 8230:1e323fe0c60e

<oerjan> ` sed -i \'s/$/./\' wisdom/functor
author HackBot
date Tue, 31 May 2016 03:46:58 +0000
parents e037173e0012
children 69b3e38974d3
line wrap: on
line diff
--- a/wisdom/functor	Tue May 31 03:45:32 2016 +0000
+++ b/wisdom/functor	Tue May 31 03:46:58 2016 +0000
@@ -1,1 +1,1 @@
-Functors are just morphisms in the category of small categories
+Functors are just morphisms in the category of small categories.