# HG changeset patch # User HackBot # Date 1377642868 0 # Node ID eb3a8d6f69a4549b128f703785129004052b85c8 # Parent 84061e4bd0cbebd14bacfaa27241449a9a55c349 echo In category theory, category theory is a theory in the category of theories. > wisdom/category\\ theory diff -r 84061e4bd0cb -r eb3a8d6f69a4 wisdom/category theory --- a/wisdom/category theory Tue Aug 27 22:29:12 2013 +0000 +++ b/wisdom/category theory Tue Aug 27 22:34:28 2013 +0000 @@ -1,1 +1,1 @@ -Category theory is the theory of categories. +In category theory, category theory is a theory in the category of theories.