A pair of functors F : C → D and G : D → C together with natural isomorphisms ε : F∘G ⇒ Id_D and η : Id_C ⇒ G∘F (or equivalently F fully faithful and essentially surjective) showing that C and D have the same categorical structure up to isomorphism of objects; not necessarily a strict isomorphism of categories but a weaker notion preserving categorical properties.

Principle

Equivalence captures when two categories are 'the same for all categorical purposes': objects correspond up to isomorphism, hom‑sets correspond via F and G, and categorical constructions are transported along the equivalence.

Demonstration

The category Vect_k^fd of finite‑dimensional vector spaces over a field k is equivalent to the category of finite‑rank free k‑modules; the functor sending a vector space to itself considered as a free module and its inverse give natural isomorphisms between compositions and identities up to canonical isomorphism.

Misapplication

Treating mere bijection of object classes or an equivalence on underlying sets as category equivalence; ignoring naturality of the isomorphisms or full faithfulness leads to false claims of equivalence.

Consequence

If categories are equivalent, any categorical property invariant under equivalence (existence of limits, being abelian, completeness, etc.) holds in one exactly when it holds in the other; one can transfer constructions and results across the equivalence.

Reversal

A strict isomorphism of categories is a stronger notion (functors inverse on the nose). The reversal of equivalence would be a failure of essential surjectivity or full faithfulness, producing only a weaker embedding or dense functor.

Boundary

Equivalence is weaker than equality of categories: it allows object identification only up to isomorphism. It requires functors and natural isomorphisms; it does not imply equality of underlying sets or identities of objects.

Semantic Tension

Nearby concepts: 'isomorphism of categories' (strict, on the nose) vs 'equivalence' (up to isomorphism). Tension appears when deciding whether a structural sameness requires literal identity or only equivalence up to canonical isomorphism.

Synthesis

An equivalence of categories is the categorical criterion for when two categories present the same mathematics: functors that are fully faithful and essentially surjective (or accompanied by natural isomorphisms to identities) ensure that categorical notions and constructions correspond between them.