Corner embeddings into algebras of compact operators in $K$-theory

We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on the subcategory generated by the homomorphisms.