ProjectOverview • 171

Banach *-algebra positive states
Banach algebra/unitization
C*-algebra out/Gelfand-Neumark
Banach *-alg/C*-algebra
AF-algebras/Bratteli
Rotation algebra