Proof.
Apply proposition 7.4.11 for \(f=\mathrm{id}_A\) using that \(Z_0(A) = Z_0(\mathrm{id}_A)\). ◻
Proof.
Apply proposition 7.4.11 for \(f=\mathrm{id}_A\) using that \(Z_0(A) = Z_0(\mathrm{id}_A)\). ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2