Example 6.185.

The following are examples of complementary classes:

  • Filtered categories are complementary to finite categories.

  • Sifted categories are complementary to finite sets.

  • Weakly contractible categories are complementary to the empty category.

  • All small categories are complementary to the empty class.

  • Animae are complementary to weakly contractible categories, by Proposition 6.164.