Mercurial > repo
changeset 5138:1eb6c53a03d4
<shachaf> revert 5134
author | HackBot |
---|---|
date | Sun, 16 Nov 2014 19:44:12 +0000 |
parents | 9c25ca3f6cf9 |
children | da2a5f8b1daa |
files | wisdom/arrow wisdom/bicategory wisdom/brain wisdom/category wisdom/comonad wisdom/d-module wisdom/doodad wisdom/endofunctor wisdom/endomorphism wisdom/functor wisdom/group wisdom/hallucination wisdom/hom-set wisdom/justice wisdom/lens wisdom/mdude wisdom/monad wisdom/monads wisdom/monoid wisdom/morphism wisdom/object wisdom/preorder wisdom/quote wisdom/torus |
diffstat | 24 files changed, 24 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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
--- /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
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.
--- /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.