diff wisdom/category theory @ 4531:7f957c1f4661

<oerjan> revert
author HackBot
date Sun, 16 Mar 2014 01:52:15 +0000
parents
children 0854263cf284
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/category theory	Sun Mar 16 01:52:15 2014 +0000
@@ -0,0 +1,1 @@
+In category theory, category theory is a theory in the category of theories.