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