Mercurial > repo
changeset 5136:abfb308376fc
<elliott> find wisdom -type f -print0 | xargs -0 grep -El \'(is|are) just\' | xargs -I\'{}\' rm \'{}\'
author | HackBot |
---|---|
date | Sun, 16 Nov 2014 19:42:03 +0000 |
parents | 8375faadadab |
children | 9c25ca3f6cf9 |
files | wisdom/automatic squirrel feeder wisdom/chu space wisdom/indexed monad wisdom/monoidal category wisdom/natural transformation wisdom/ngram model wisdom/partial order |
diffstat | 7 files changed, 0 insertions(+), 8 deletions(-) [+] |
line wrap: on
line diff
--- a/wisdom/automatic squirrel feeder Sun Nov 16 19:41:33 2014 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them.
--- a/wisdom/chu space Sun Nov 16 19:41:33 2014 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.
--- a/wisdom/indexed monad Sun Nov 16 19:41:33 2014 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -Indexed monads are just monads on an indexed category. -Indexed monads are just categories enriched over the monoidal category of endofunctors.
--- a/wisdom/monoidal category Sun Nov 16 19:41:33 2014 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -Monoidal categories are just 2-categories with a single object.
--- a/wisdom/natural transformation Sun Nov 16 19:41:33 2014 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -Natural transformations are just morphisms in the category of functors