Mercurial > repo

view wisdom/category theory @ 6938:0854263cf284

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<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 7f957c1f4661
children
line wrap: on
line source

In the theory of categories, category theory is a theory in the category of theories.