A classification of spaces of operators of finite types

The note adjoins to the preceeding one. It is proved that there exists an algorithm recognizing for every two types if the spaces of these types are homeomorphic.