Mercurial > repo

changeset 6118:3e84eeeca1cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<tswett> le/rn category/A category is an enriched category where the enriching category is the category of classes.
author HackBot
date Thu, 22 Oct 2015 01:45:40 +0000
parents 4fa8cb674b3a
children de375e980253
files wisdom/category
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/category	Tue Oct 20 22:20:50 2015 +0000
+++ b/wisdom/category	Thu Oct 22 01:45:40 2015 +0000
@@ -1,1 +1,1 @@
-A category is just a category object in the category of classes.
+A category is an enriched category where the enriching category is the category of classes.