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/ ] Status: RO