** Next:** Domains
**Up:** The ALLCOT semantics
** Previous:** The ALLCOT semantics

A category is a set of signatures.
If a category `C2` inherits from a category `C1`,
then the set of signatures of `C2` is the union of that
of `C1` plus the set of signatures from the **with**-part of `C2`.
So, duplicates are removed.

** Next:** Domains
**Up:** The ALLCOT semantics
** Previous:** The ALLCOT semantics
*Marc Moreno Maza *

2004-12-01