ScalingStacks

0NGK

Fact 4.12. Let F:π’žβ†’π’žβŠ•F\colon\mathcal{C}\to\mathcal{C}^{\oplus} and G:π’žβ†’Kar⁑(π’ž)G\colon\mathcal{C}\to\mathrm{Kar}(\mathcal{C}) denote the canonical embeddings of π’ž\mathcal{C} into its additive and its idempotent completion, respectively. Then HH0​(F)\mathrm{HH}_{0}(F) and HH0​(G)\mathrm{HH}_{0}(G) are isomorphisms; see e.g. [4, Sections 3.4 and 3.5].

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Ciprian Manolescu, Kevin Walker, Paul Wedrich

Original source: arXiv:2206.04616v2