Suppose $I$ is a finite $\infty$-category and $F:I\rightarrow\text{fCW}$ is a functor that takes values in finite CW complexes. For each $X\in I$, let $[F(X)]$ denote the class of $F(X)$ in $K_0(\text{fCW})\cong\mathbb{Z}$.

Since evaluation at $X$ is a right exact functor, $[F(-)]$ is a homomorphism $K_0(\text{fCW}^I)\rightarrow\mathbb{Z}$. As we let $X$ vary over equivalence classes of objects in $I$, these assemble into a homomorphism $$K_0(\text{fCW}^I)\xrightarrow{ev}\bigoplus_{X\in I/\cong}\mathbb{Z}.$$ Question: Is this an isomorphism?

K-theory can mean so many things, I want to be clear: When I write $K_0(\mathcal{C})$, I mean the abelian group supporting a universal function $[-]:\mathcal{C}\rightarrow K_0(\mathcal{C})$ such that:

• if $X\cong Y$, then $[X]=[Y]$,
• $[X\amalg Y]=[X]+[Y]$,
• if $A\rightarrow B\rightarrow C$ is a cofiber sequence, $[B]=[A]+[C]$.