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

895 Views Asked by At

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.

1

There are 1 best solutions below

2
On BEST ANSWER

Almost. The category of small discrete categories (i.e. discrete categories whose class of objects is a set) would be equivalent (actually isomorphic) to the class of sets. The functor in question would be the forgetful one (send each category to its underlying set of objects, "forgetting" that the morphisms are there).