Pro-\(C^*\)-algebras associated with pro-\(C^*\)-correspondences versus tensor products (Q2179842)

A complete Hausdorff topological \(*\)-algebra whose topology is defined by a directed family of \(C^{*}\)-seminorms is called a pro-\(C^{*}\)-algebra.\par The author proves that, under natural conditions, the minimal, respectively maximal tensor product of a pro-\(C^{*}\)-algebra associated to a pro-\(C^{*}\)--correspondence and a pro-\(C^{*}\)-algebra is isomorphic to the pro-\(C^{*}\)-algebra associated with a tensor product pro-\(C^{*}\)-correspondence.