Category talk:C*-algebras