Categories

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.