# Physics, Topology, Logic and Computation: A Rosetta Stone

**Authors:** John C. Baez, Mike Stay  
**arXiv:** [0903.0340](https://arxiv.org/abs/0903.0340)  
**Date:** 2009-03-02  
**Summary page:** https://www.summarizepaper.com/en/paper/0903.0340v1/

## Key points

- John C. Baez and Mike Stay explore connections between physics, topology, logic, and computation
- Feynman diagrams used in physics can also be applied in logic for proofs and in computation for programs
- Analogies exist connecting quantum processes, logic, computation, and topology
- Introduction of "closed symmetric monoidal category" to understand intersections of these disciplines
- Authors present findings in an accessible manner without requiring prior knowledge of specific theories or fields

## Summary

In their paper "Physics, Topology, Logic and Computation: A Rosetta Stone," John C. Baez and Mike Stay uncover the fascinating connections between physics, topology, logic, and computation. They begin by discussing the use of Feynman diagrams in understanding quantum processes in physics. This realization led to the recognition that similar diagrammatic representations can be applied in logic for proofs and in computation for programs. As interest grew in fields like quantum cryptography and quantum computation, it became clear that there exists a rich network of analogies connecting these four disciplines. The authors delve into these analogies by introducing the concept of a "closed symmetric monoidal category," which provides a precise understanding of how these fields intersect. Despite the complexity of the subject matter, Baez and Stay present their findings in an expository style that does not require prior knowledge of category theory, proof theory or computer science. Through their exploration of these interconnected disciplines, they offer readers a deeper appreciation for the underlying unity within seemingly disparate areas of study.