在数学的一个抽象分支范畴论中，范畴的等价（equivalence of categories）是两个范畴间的一个关系，在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。创建一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形，这些结构表面或直觉上看并无关联，这样就使这种概念特别有用：它提供了在不同数学结构之间翻译的可能性，本质一语是指在翻译中保持的定理。

如果一个范畴等价于另一个范畴的反范畴，则我们说“范畴的对偶性”，以及这两个范畴对偶等价。

范畴的等价由所涉范畴的一个函子组成，这个函子要求有一个“逆”函子。但与通常代数语境的同构不同，这个函子与它的逆不必是恒等映射，二只要每个对象自然同构与在此符合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是范畴的同构的概念，其中要求逆函子的严格性质，但这比“等价”概念用得要少。

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.