-1 的平方根的范畴化

我们为一个单态 DG 范畴 $\cal{I}$ 给出了图形演算，其 Grothendieck 群同构于环 $\mathbb{Z}[\sqrt{-1}]$。我们构造了 $\cal{I}$ 的一个范畴作用，该作用提升了 $\mathbb{Z}[\sqrt{-1}]$ 在 $\mathbb{Z}^2$ 上的作用。