The classification of homomorphisms between certain unital simple nuclear C*-algebras lead to the discovery of a natural transformation as part of the classifying invariant. We develop a uniqueness result and an abstract characterization of said transformation.
Mikkel Munkholm (Wed,) studied this question.