Mercurial > repo
view wisdom/category @ 10347:d2561cf61920
<rdococ> le//rn football//A football is a ball made of feet.
author | HackBot |
---|---|
date | Sat, 04 Mar 2017 13:13:30 +0000 |
parents | 3e84eeeca1cd |
children |
line wrap: on
line source
A category is an enriched category where the enriching category is the category of classes.