6.12.2. Finite Category model
We build a finite category in two stages.
First we construct an empty pre-category, and add arrows
and composition rules to it. Then, we check it is indeed a category.
Unlike most of the classes in core felix, "fincat" does some argument
checking.
6.12.2.1. Implementation