Mercurial > repo
changeset 6938:0854263cf284
<shachaf> ` sed -i \'s/category theory/the theory of categories/\' wisdom/category\\ theory
author | HackBot |
---|---|
date | Tue, 23 Feb 2016 23:42:42 +0000 |
parents | a4e2b9749d1d |
children | 62a77a3a4c83 |
files | wisdom/category theory |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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.