对偶范畴

对偶范畴亦称反向范畴或逆范畴，是范畴论的基本概念之一。任何范畴都有一个对偶范畴。对任意范畴C，可以构造对偶范畴Cop。