Catalysis as a trace in a symmetric monoidal category

[Guy_Walters]

Hey,

 

I was playing with Penrose/Coecke diagrams for Hilbert spaces and general linear maps and I discovered a quick proof that catalysis is the trace of a map! Have a look at my blog post.

 

http://whyilovephysics.blogspot.com/

 

Ben

[mississippichem]

Hey,

 

I was playing with Penrose/Coecke diagrams for Hilbert spaces and general linear maps and I discovered a quick proof that catalysis is the trace of a map! Have a look at my blog post.

 

http://whyilovephysics.blogspot.com/

 

Ben

 

Hmm...My knowledge of Hilbert spaces doesn't extend much beyond their use in QM (Schroedinger equations must be continuous and square integrable...etc. If memory serves). Care to elaborate at all?

What kind of Hilbert space are we talking about here? My analysis chops are limited but bring it on anyway, I'll try to hang .