0NGJ Fact 4.11. Any functor F:πβπF\colon\mathcal{C}\to\mathcal{D} of KK-linear categories induces natural KK-module homomorphism HH0β(F):HH0β(π)βHH0β(π)\mathrm{HH}_{0}(F)\colon\mathrm{HH}_{0}(\mathcal{C})\to\mathrm{HH}_{0}(\mathcal{D}) sending [f:xβx]β¦[F(f):F(x)βF(x)]][f\colon x\to x]\mapsto[F(f)\colon F(x)\to F(x)]]. This is well-defined since fβgβgβfβ¦Fβ‘(f)βFβ‘(g)βFβ‘(g)βFβ‘(f)f\circ g-g\circ f\mapsto F(f)\circ F(g)-F(g)\circ F(f). If FF is an equivalence, then HH0β(F)\mathrm{HH}_{0}(F) is an isomorphism; see e.g. [4].