零调对象 [零调对象]

定义

在意象中, 若对象 $X$ 满足 $* \sqcup_X * = *$, 则称其为零调对象 (acyclic object).

性质