working on standard examples of categories

... such as the discrete category with n objects