Mercurial > repo

comparison wisdom/category @ 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 95931fe52dbb
children
comparison
equal deleted inserted replaced
6117:4fa8cb674b3a 6118:3e84eeeca1cd
1 A category is just a category object in the category of classes. 1 A category is an enriched category where the enriching category is the category of classes.