a set whose complement is first category
a first category set
Define the category of...... to have as objects pairs of......, and as morphisms......
The most frequently used models fall into one of the following two categories.