MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $\mathcal{A,B,C}$ are additive categories, $\mathcal B$ is a subcategory of $\mathcal C$. Now let $F,G: \mathcal A\rightarrow\mathcal B$ be two additive functors. Suppose $F,G$ are naturally equivalent as functors $\mathcal{A}\rightarrow\mathcal C$, do they induce the same map $K_n(\mathcal A)\rightarrow K_n(\mathcal B)$? Of course, $\mathcal{A,B,C}$ are endowed with the split exact structures. Thanks!

share|cite|improve this question
Yes if the natural isomorphisms $F(X)\cong G(X)$ are in $\mathcal B$. – Fernando Muro Apr 16 '13 at 7:57
Thanks Fernando, that's right if the natural isomorphisms are in $\mathcal B$ by applying the additivity theorem. I don't know whether it is still true if the isomorphisms are in the ambient category $\mathcal C$. I guess probably it's not true. – Kun Wang Apr 16 '13 at 13:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.