Categorical Equivalence

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.