余切复形 [余切复形]

观念

余切复形是

定义

设 $\mathcal O$ 为算畴,