Ext and $K$-homology Topological K-theory mathematics