How many categories have only two objects: I'm thinking that the answer is three:
- Without arrows between the objects
- One arrow between the objects
- Two arrows (back and forth) between the objects
Am I right or I can have an infinite number, maybe putting arrows as many as I want?
There are infinitely many categories with one object. They correspond to monoids. Infinitely many? Even up to isomorphism, they form a proper class!
The same is true for two-object categories.