Category theory MOC

Equivalence of categories

Equivalence of categories is a weakening of isomorphism of categories which in the majority of cases is actually more appropriate. Equivalent categories are “almost” the same in that their categorical properties coïncide. An equivalence of categories is a pair of functors such that

where denotes natural isomorphism. This is reminiscent of Homotopy equivalence. We also see equivalence of categories is a special case of anadjunction of functors for which the unit and coünit are isomorphisms.

Results

• Categories are equivalent iff they have isomorphic skeleta

---

tidy | en | sembr