log

age author description
Thu, 22 Oct 2015 01:52:49 +0000 HackBot <tswett> le/rn monoid/A monoid is the easy version of a category.
Thu, 22 Oct 2015 01:45:40 +0000 HackBot <tswett> le/rn category/A category is an enriched category where the enriching category is the category of classes.
Tue, 20 Oct 2015 22:20:50 +0000 HackBot <oerjan> ` sed -i \'s/a//\' wisdom/algorithm