## Physics, Topology, Logic and Computation: A Rosetta Stone (2009)

by
John C. Baez
,
Mike Stay

Citations: | 5 - 1 self |

### BibTeX

@MISC{Baez09physics,topology,,

author = {John C. Baez and Mike Stay},

title = { Physics, Topology, Logic and Computation: A Rosetta Stone},

year = {2009}

}

### OpenURL

### Abstract

Category theory is a very general formalism, but there is a certain special way that physicists use categories which turns out to have close analogues in topology, logic and computation. A category has objects and morphisms, which represent things and ways to go between things. In physics, the objects are often physical systems, and the morphisms are processes turning a state of one physical system into a state of another system — perhaps