Dan - right! Then we're back to a category we know and love: the group \\(\mathbb{Z}/2\\), thought of as a category with one object and 2 morphisms.

Before you added this constraint our category was secretly the monoid \\((\mathbb{N}, +, 0) \\).