Аннотация:
КК-бифунктор Каспарова определяется как гомотопические классы так называемых квазигомоморфизмов, обобщающих обычные гомоморфизмы С*-алгебр. Однако квазигомоморфизмы не симметричны: гомоморфизмы из $A$ в $B$ заменяются парами гомоморфизмов из $A$ в некоторые $E$, в которых $B$ сидит как идеал. В нашем подходе $A$ также можно заменить на некоторые $C$, для которых $A$ является фактором.