# HG changeset patch
# User HackBot
# Date 1416166923 0
# Node ID abfb308376fc6da0c5dfc2174867a354d18c9f51
# Parent  8375faadadab05cd257d107410e511284e63bf78
<elliott> find wisdom -type f -print0 | xargs -0 grep -El \'(is|are) just\' | xargs -I\'{}\' rm \'{}\'

diff -r 8375faadadab -r abfb308376fc wisdom/automatic squirrel feeder
--- 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.
diff -r 8375faadadab -r abfb308376fc wisdom/chu space
--- 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.
diff -r 8375faadadab -r abfb308376fc wisdom/indexed monad
--- 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.
diff -r 8375faadadab -r abfb308376fc wisdom/monoidal category
--- 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.
diff -r 8375faadadab -r abfb308376fc wisdom/natural transformation
--- 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
diff -r 8375faadadab -r abfb308376fc wisdom/ngram model
--- a/wisdom/ngram model	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-An ngram model is just a Markov model with a sliding window state
diff -r 8375faadadab -r abfb308376fc wisdom/partial order
--- a/wisdom/partial order	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A partial order is just a small thin skeletal category.