Mercurial > repo
changeset 5137:9c25ca3f6cf9
<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