in category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are "essentially the same". there are numerous examples of categorical equivalences from many areas of mathematics. establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. in some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation. if a category is equivalent to the opposite (or dual) of another category then one speaks of a duality of categories, and says that the two categories are dually equivalent. an equivalence of categories consists of a functor between the involved categories, which is required to have an "inverse" functor. however, in contrast to the situation common for isomorphisms in an algebraic setting, the composition of the functor and its "inverse" is not necessarily the identity mapping. instead it is sufficient that each object be naturally isomorphic to its image under this composition. thus one may describe the functors as being "inverse up to isomorphism". there is indeed a concept of isomorphism of categories where a strict form of inverse functor is required, but this is of much less practical use than the equivalence concept. ==definition== formally, given two categories c and d, an equivalence of categories consists of a functor f : c â d, a functor g : d â c, and two natural isomorphisms Îµ: fgâid and Î· : icâgf. here fg: dâd and gf: câc, denote the respective compositions of f and g, and ic: câc and id: dâd denote the identity functors on c and d, assigning each object and morphism to itself. if f and g are contravariant functors one speaks of a duality of categories instead. one often does not specify all the above data. for instance, we say that the categories c and d are equivalent (respectively dually equivalent) if there exists an equivalence (respectively duality) between them. furthermore, we say that f "is" an equivalence of categories if an inverse functor g and natural isomorphisms as above exist. note however that knowledge of f is usually not enough to reconstruct g and the natural isomorphisms: there may be many choices (see example below). ==equivalent characterizations== one can show that a functor f : c â d yields an equivalence o
Adjoint_functors Category_theory