Mercurial > repo

changeset 5137:9c25ca3f6cf9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<shachaf> revert
author HackBot
date Sun, 16 Nov 2014 19:42:28 +0000
parents abfb308376fc
children 1eb6c53a03d4
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, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/automatic squirrel feeder	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,1 @@
+Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/chu space	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,1 @@
+A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/indexed monad	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,2 @@
+Indexed monads are just monads on an indexed category.
+Indexed monads are just categories enriched over the monoidal category of endofunctors.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/monoidal category	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,1 @@
+Monoidal categories are just 2-categories with a single object.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/natural transformation	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,1 @@
+Natural transformations are just morphisms in the category of functors
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/ngram model	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,1 @@
+An ngram model is just a Markov model with a sliding window state
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/partial order	Sun Nov 16 19:42:28 2014 +0000
@@ -0,0 +1,1 @@
+A partial order is just a small thin skeletal category.