Symmetric Monoidal Approach To Physical Theories

Symmetric monoidal approach to physical theories

This research area is concerned with providing a logical foundation for physical theories. Recent work in this area has lead to the development of a categorical semantics of quantum mechanics which has particular applications when reasoning about quantum information theory. At the heart of this work lies several full and faithful representations of quantum theory in terms of a picture calculus. This approach was initiated in:

Some related papers are:

Friendly introductions to this approach are found in:

More related material is available from Samson Abramsky, Bob Coecke and Peter Selinger's respective homepages. Similar ideas can also be found in work by John Baez, Louis Kauffman and Robin Houston (blog).

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License