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

diff -r b3ec6ca885ea -r 8375faadadab wisdom/arrow
--- a/wisdom/arrow	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Arrows are just strong monads in the category of profunctors.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/bicategory
--- a/wisdom/bicategory	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Bicategories are just categories where composition is only associative up to an isomorphism.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/brain
--- a/wisdom/brain	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Brains are just receptacles for bricks.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/category
--- a/wisdom/category	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Categories are just a special case of bicategories.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/comonad
--- a/wisdom/comonad	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Comonads are just monads in the dual category.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/d-module
--- a/wisdom/d-module	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-D-modules are just modules over the ring of differential operators. Taneb invented them.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/doodad
--- a/wisdom/doodad	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Doodads are just duoids in the category of endofunctors.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/endofunctor
--- a/wisdom/endofunctor	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Endofunctors are just endomorphisms in the category of categories.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/endomorphism
--- a/wisdom/endomorphism	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Endomorphisms are just morphisms which compose with themselves.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/functor
--- a/wisdom/functor	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Functors are just morphisms in the category of small categories
diff -r b3ec6ca885ea -r 8375faadadab wisdom/group
--- a/wisdom/group	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-groups are just loops with the property of associativity
diff -r b3ec6ca885ea -r 8375faadadab wisdom/hallucination
--- a/wisdom/hallucination	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-You are just imagining this wisdom entry.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/hom-set
--- a/wisdom/hom-set	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Hom-sets are just sets of morphisms between two objects.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/justice
--- a/wisdom/justice	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Justice is just behavior or treatment.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/lens
--- a/wisdom/lens	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A lens is just a store comonad coalgebra.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/mdude
--- a/wisdom/mdude	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-MDude is just a dude, with an M's courage.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/monad
--- a/wisdom/monad	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Monads are just monoids in the category of endofunctors.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/monads
--- a/wisdom/monads	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Monads are just free monad monad monad algebras.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/monoid
--- a/wisdom/monoid	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Monoids are just categories with a single object.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/morphism
--- a/wisdom/morphism	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Morphisms are just elements of the Hom-set of a pair of objects.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/object
--- a/wisdom/object	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-An object is just something in a category.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/preorder
--- a/wisdom/preorder	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A preorder is just a small thin category.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/quote
--- a/wisdom/quote	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Quotes are just elements of the quantum dilapidated bogosphere. See qdb.
diff -r b3ec6ca885ea -r 8375faadadab wisdom/torus
--- a/wisdom/torus	Sat Nov 15 19:49:17 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Topologically, a torus is just a torus. Taneb invented them.