Mercurial > repo
view wisdom/category theory @ 4173:88d05b052b66
<oerjan> sed -i \'2s!sed.*!sed \'\\\'\'s/^`\\\\(a|the\\\\) //;s/[Ss]\\? .*//\'\\\'\')!\' bin/learn
author | HackBot |
---|---|
date | Wed, 11 Dec 2013 01:20:37 +0000 |
parents | eb3a8d6f69a4 |
children |
line wrap: on
line source
In category theory, category theory is a theory in the category of theories.