| Physics, Topology, Logic and Computation: (2009) | |||||||||||||||
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 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||