在数学的一个抽象分支范畴论中，范畴的等价（）是两个范畴间的一个关系，在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形，这些结构表面或直觉上看并无关联，这样就使这种概念特别有用：它提供了在不同数学结构之间翻译的可能性，本质一语是指在翻译中保持的定理。如果一个范畴等价于另一个范畴的反范畴，则我们说“范畴的对偶性”，以及这两个范畴对偶等价。范畴的等价由所涉范畴的一个函子组成，这个函子要求有一个“逆”函子。但与通常代数