# HG changeset patch
# User HackBot
# Date 1456270962 0
# Node ID 0854263cf28419bf7f23baa66ffd6e2206ce4adf
# Parent  a4e2b9749d1d1eafb2f77cfda0df0b04c32919bd
<shachaf> ` sed -i \'s/category theory/the theory of categories/\' wisdom/category\\ theory

diff -r a4e2b9749d1d -r 0854263cf284 wisdom/category theory
--- a/wisdom/category theory	Tue Feb 23 05:18:43 2016 +0000
+++ b/wisdom/category theory	Tue Feb 23 23:42:42 2016 +0000
@@ -1,1 +1,1 @@
-In category theory, category theory is a theory in the category of theories.
+In the theory of categories, category theory is a theory in the category of theories.