On quantales that classify C*-algebras

David Kruml, Pedro Resende

The functor Max of Mulvey assigns to each unital C*-algebra A the unital involutive quantale Max A of closed linear subspaces of A, and it has been remarked that it classifies unit…