Mercurial > repo
changeset 5135:8375faadadab
<elliott> find wisdom -type f -print0 | xargs -0 grep -El \'(is|are) just\' | xargs rm
author | HackBot |
---|---|
date | Sun, 16 Nov 2014 19:41:33 +0000 |
parents | b3ec6ca885ea |
children | abfb308376fc |
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, 0 insertions(+), 24 deletions(-) [+] |
line wrap: on
line diff
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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
--- 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
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.
--- 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.