Wiki. “对偶对象” [对偶对象]

定义

在闭范畴 $\mathcal C$ 中, 若存在对象 $D$, 满足内蕴态射对象 $[-,D]\colon \mathcal C\to\mathcal C^{\text{op}}$ 为等价, 则称之为对偶对象.

相关概念

Poincaré–Verdier 对偶, Cartier 对偶