Finite categories 

Awodey:

Of course, the objects of a category do not have to be sets, either. Here are some very simple examples:

• The category 1 looks like this:
  
  It has one object and its identity arrow, which we do not draw.
• The category 2 looks like this:
  
  It has two objects, their required identity arrows, and exactly one arrow between the objects.
• The category 3 looks like this:
  
  It has three objects, their required identity arrows, exactly one arrow from the first to the second object, exactly one arrow from the second to the third object, and exactly one arrow from the first to the third object (which is therefore the composite of the other two).
• The category 0 looks like this:
  
  
  It has no objects or arrows.

We don’t have a direct application for these categories, but it’s good to keep them in mind to expand our notion of categories, and also so we can use them to form other concepts.