# Is the category of discrete categories equivalent to the category of Set?

A discrete category is one whose only morphisms are identity morphisms.

The category of discrete categories would have as objects the discrete categories and as morphisms the functors between those discrete categories.

A functor from one discrete category A to another one B can map any object from A to any object from B, since there are no arrows in either category to restrict a mapping.

But that is exactly the same when mapping objects between sets.

• When using the "objects and arrows" definition of a category, the functor you mention is not an isomorphism; to each underlying set of objects, there are many different choices of one-element sets to use for the various $\hom(x,x)$. I suppose your functor would give an isomorphism for the "arrows only" definition of a category. (assuming composition is defined in terms of a specific product functor on hom-sets) – Hurkyl Oct 14 '17 at 21:06