数学、とりわけ圏論において、圏同値（けんどうち、英:equivalenceofcategories）とはふたつの圏が「本質的には同じである」という関係のことをいう。
在数学的一个抽象分支范畴论中，范畴的等价（equivalenceofcategories）是两个范畴间的一个关系，在这种关系之下的范畴是“本质上一样的”。