# HG changeset patch
# User HackBot
# Date 1445478340 0
# Node ID 3e84eeeca1cde8f611336c51877bcffd95a2a146
# Parent  4fa8cb674b3aeed903a7388e2675c90c44e7d610
<tswett> le/rn category/A category is an enriched category where the enriching category is the category of classes.

diff -r 4fa8cb674b3a -r 3e84eeeca1cd wisdom/category
--- 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.