A small category is a Category in which and are sets.