# HG changeset patch
# User HackBot
# Date 1416167052 0
# Node ID 1eb6c53a03d42d84acc9985b294b656c10b5effd
# Parent  9c25ca3f6cf93b4c4ad2a2ea5606c1d81444a837
<shachaf> revert 5134

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