Mercurial > repo
view wisdom/category @ 8865:72f6d4b7ef1d
<Elronnd> ` learn \\oren\\ "If he knew he was a tree, he wouldn\'t be, a \\\\oren\\\\"
author | HackBot |
---|---|
date | Thu, 28 Jul 2016 03:41:15 +0000 |
parents | 3e84eeeca1cd |
children |
line wrap: on
line source
A category is an enriched category where the enriching category is the category of classes.