Wiki. 自函子的迹 [自函子的迹]

设 $\mathcal{C}$ 是可对偶 DG 范畴, 则可定义 $\mathcal C$ 的自函子 $F\colon \mathcal C\to\mathcal C$ 的 $\operatorname{Tr}(F) \in \mathsf{Vect}$.