Fact 4.12. Let and denote the canonical embeddings of into its additive and its idempotent completion, respectively. Then and are isomorphisms; see e.g. [4, Sections 3.4 and 3.5].
Original source: arXiv:2206.04616v2
Original source: arXiv:2206.04616v2