A structural correspondence between two categories asserting they have the same categorical content up to invertible functors and natural isomorphism; formally given by a pair of functors composing to objects naturally isomorphic to the respective identity functors.

Principle

Categories are equivalent when there exist functors F: C -> D and G: D -> C together with natural isomorphisms η: Id_C ≅ G∘F and ε: F∘G ≅ Id_D, so that objects and morphisms correspond up to isomorphism rather than strict equality.

Demonstration

A standard example is a category and any skeleton of it: the full subcategory containing one representative of each isomorphism class is equivalent to the original category via inclusion and a choice functor, showing that equivalence captures 'same structure' while ignoring redundant object duplication.

Misapplication

Treating equivalence as equality of categories (asserting identical objects or identical hom‑sets rather than isomorphism classes), or assuming that equivalence preserves all extra structure without verifying compatibility with enrichments or additional data.

Consequence

Categorical equivalence justifies transferring constructions, invariants and theorems between categories: properties invariant under isomorphism are preserved and many categorical arguments can be ported across an equivalence.

Reversal

Categorical isomorphism: a stricter relation requiring a functor that is strictly invertible (on the nose), yielding identical category structure rather than equivalence up to isomorphism of objects.

Boundary

Applies to structure expressible in categorical language up to isomorphism; equivalence may fail to preserve chosen extras such as specified objects, strict enrichments, or coherence data unless the equivalence is enhanced accordingly.

Semantic Tension

Tension between 'sameness up to isomorphism' and 'sameness on the nose': equivalence embraces structural sameness while practitioners sometimes require stricter identifications for definitional or computational reasons.

Synthesis

Categorical equivalence formalises the idea that two different presentations carry the same mathematical content: by focusing on functors and natural isomorphisms it isolates essential structure while allowing flexibility in representation.