Re: additions

[Thorsten Altenkirch <txa@Cs.Nott.AC.UK>]

On 22 Dec 2009, at 02:24, Joyal, André wrote:

>  do not question the importance of the subject.
> But presently, I am not convinced that quantum computing can
> contribute significantly to category theory.

I have to admit that I am quite ignorant about many of the areas  
mentioned in the previous email. On the other hand developments in  
Computer Science I know about don't seem to feature. Maybe they are  
too mundane for Mathematicians.

As far as quantum computing goes, or maybe more general quantum theory  
from a computer science point of view, it seems to me that there are  
interesting interactions with category theory in the recent work by  
Samson Abramsky,  Bob Coecke, Peter Selinger and many others. E.g. the  
completeness of the graph theoretical calculus for dagger compact  
closed categories modelling finite dimensional Hilbert spaces.

Cheers,
Thorsten



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]