La K-teoría bivariante kkalg en la categoría Ica de algebras localmente convexas asigna grupos abelianos kknalg(A, B), n ∈ Z, a cada par de dichas álgebras A y B y existen aplicaciones bilineales kknalg(A, B) × kkmalg(B;C) kkn+malg(A,C) para A, B y C álgebras localmente convexas y m, n ∈ Z. Con este producto, podemos definir una categoría KKalg cuyos objetos son álgebras localmente convexas y cuyos morfismos están dados por los grupos graduados kk∗alg(A, B). De este modo, la K-teoría bivariante kkalg se puede ver como un funtor kkalg : lca → KKalg. Este funtor es universal con respecto a funtores split exactos, invariantes por diffotopías y K-estables. En particular, un isomorfismo en KKalg induce un isomorfismo en KKLp y en homología cíclica periódica bivariante HP. En [10], se determina que los invariantes del ´algebra de Weyl A1(C) = C⟨x, y|xy − yx = 1⟩ ...