Search

• < Previous
• 1
• Next >

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic,&nbsp;[&hellip;]