Abstract
In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology. Namely, a linear operator behaves very much like a “cobordism”: a manifold representing spacetime, going between two manifolds representing space. This led to a burst of work on topological quantum field theory and “quantum topology”. But this was just the beginning: similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of “closed symmetric monoidal category”. We assume no prior knowledge of category theory, proof theory or computer science.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, MIT Press, Cambridge (1996). Available at http://mitpress.mit.edu/sicp/
Abramsky, S.: Abstract scalars, loops, and free traced and strongly compact closed categories. In: Proceedings of CALCO 2005, Lecture Notes in Computer Science 3629, Springer, Berlin, 2005, 1–31. Also available at http://web.comlab.ox.ac.uk/ oucl/work/samson.abramsky/calco05.pdf
Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. Available at arXiv:quant-ph/0402130
Abramsky, S., Duncan, R.: A categorical quantum logic, to appear in Mathematical Structures in Computer Science (2006). Also available as arXiv:quant-ph/0512114
Abramsky, S., Haghverdi, E., Scott, P.: Geometry of interaction and linear combinatory algebras, Math. Struct. Comput. Sci. 12, 625–665 (2002). Also available at http://citeseer.ist.psu.edu/491623.html
Abramsky, S., Tzevelokos, N.: Introduction to categories and categorical logic, in this volume. Also available at http://web.comlab.ox.ac.uk/people/Bob.Coecke/AbrNikos.pdf
Ambler, S.: First order logic in symmetric monoidal closed categories, Ph.D. thesis, U. of Edinburgh, 1991. Available at http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92–194/
Atiyah, M.F.: Topological quantum field theories. Publ. Math. IHES Paris 68, 175–186 (1989).
Atiyah, M.F.: The Geometry and Physics of Knots. Cambridge University Press, Cambridge (1990)
Baez, J.: An introduction to spin foam models of quantum gravity and BF theory. In: Gausterer, H., Grosse, H. (eds.) Geometry and Quantum Physics, pp. 25–93. Springer, Berlin (2000). Also available at arXiv:gr-qc/9905087
Baez, J.: Higher-dimensional algebra and Planck-scale physics. In: Callender, C., Huggett, N. (eds.) Physics Meets Philosophy at the Planck Length, pp. 177–195. Cambridge University Press, Cambridge (2001). Also available as arXiv:gr-qc/9902017
Baez, J.: Quantum quandaries: A category-theoretic perspective. In: French, S., Rickles, D., Saatsi, J. (eds.) Structural Foundations of Quantum Gravity, pp. 240–265. Oxford University Press, Oxford (2006). Also available as arXiv:quant-ph/0404040
Baez, J.: Classical versus quantum computation, U. C. Riverside seminar notes by D. Wise. Available at http://math.ucr.edu/home/baez/qg-fall2006/ and http://math.ucr.edu/home/baez/qg-winter2007
Baez, J., Dolan, J.: Higher-dimensional algebra and topological quantum field theory. J. Math. Phys. 36, 6073–6105 (1995). Also available as arXiv:q-alg/9503002
Baez, J., Langford, L.: Higher-dimensional algebra IV: 2-tangles. Adv. Math. 180, 705–764 (2003). Also available as arXiv:q-alg/9703033
Baez, J., Lauda, A.: A prehistory of n-categorical physics. In: Hans Halvorson (ed.) To Appear in Proceedings of Deep Beauty: Mathematical Innovation and the Search for an Underlying Intelligibility of the Quantum World, Princeton, October 3, 2007. Also available at http://math.ucr.edu/home/baez/history.pdf
Bakalov, B., Kirillov, A., Jr.: Lectures on Tensor Categories and Modular Functors, American Mathematical Society, Providence, Rhode Island, 2001. Preliminary version available at http://www.math.sunysb.edu/_kirillov/tensor/tensor.html
Barendregt, H.: The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam (1984)
Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1983). Revised and corrected version available at http://www.cwru.edu/artsci/math/wells/pub/ttt.html
Bell, J.S.: On the Einstein-Podolsky-Rosen paradox, Physics 1, 195–200 (1964)
Bell, J.L.: The Development of Categorical Logic. Available at http://publish.uwo.ca/_jbell/catlogprime.pdf
Benton, N., Bierman, G.M., de Paiva, V., Hyland, J.M.E.: Linear lambda-calculus and categorical models revisited, in Computer Science Logic (CSL’92), Selected Papers, Lecture Notes in Computer Science 702, pp. 61–84. Springer, Berlin (1992). Also available at http://citeseer.ist.psu.edu/benton92linear.html
Benton, N., Bierman, G., de Paiva, V., Hyland, M.: Term Assignment for Intuitionistic Linear Logic, Technical Report 262, University of Cambridge Computer Laboratory, August 1992. Also available at http://citeseer.ist.psu.edu/1273.html
Bierman, G.: On Intuitionistic Linear Logic, PhD Thesis, Cambridge University. Available at http://research.microsoft.com/_gmb/Papers/thesis.pdf
Blute, R., Scott, P.: Category theory for linear logicians. In: Ehrhard, T., Girard, J.-Y., Ruet, P., Scott, P. (eds.) Linear Logic in Computer Science, pp. 3–64. Cambridge University Press, Cambridge (2004). Also available at http://www.site.uottawa.ca/_phil/ papers/catsurv.web.pdf
Burris, S.N., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Berlin (1981). Also available at http://www.math.uwaterloo.ca/_snburris/htdocs/ualg.html
Chari, V., Pressley, A.: A Guide to Quantum Groups. Cambridge University Press, Cambridge (1995)
Cheng, E., Lauda, A.: Higher-Dimensional Categories: An Illustrated Guidebook. Available at http://www.dpmms.cam.ac.uk/_elgc2/guidebook/
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58, 345–363 (1936)
Coecke, B.: De-linearizing linearity: projective quantum axiomatics from strong compact closure. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), pp. 49–72. Elsevier (2007). Also available as arXiv:quantph/0506134
Coecke, B.: Kindergarten quantum mechanics. To appear in Proceedings of QTRF-III. Also available as arXiv:quant-ph/0510032
Coecke, B., Paquette, E.O.: POVMs and Naimark’s theorem without sums. To appear in Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006). Also available as arXiv:quant-ph/0608072
Coecke, B., Pavlovic, D.: Quantum measurements without sums. In: Chen, G., Kauffman, L., Lomonaco, S. (eds.) To appear in the Mathematics of Quantum Computation and Technology. Taylor and Francis. Also available as arXiv:quant-ph/0608035
Crole, R.L.: Categories for Types. Cambridge University Press, Cambridge (1993)
Curry, H.B., Feys, R.: Combinatory Logic, vol. I. North-Holland, Amsterdam (1958)
Curry, H.B., Findley, J.R., Selding, J.P.: Combinatory Logic, vol. II. North-Holland, Amsterdam (1972)
Cvitanovic, P.: Group Theory. Princeton University Press, Princeton (2003). Available at http://www.nbi.dk/GroupTheory/
Di Cosmo, R., Miller, D.: Linear logic, Stanford Encyclopedia of Philosophy. Available at http://plato.stanford.edu/entries/logic-linear/
Dorca, M., van Tonder, A.: Quantum computation, categorical semantics and linear logic. Available as arXiv:quant-ph/0312174
Eilenberg, S., Kelly, G.M.: Closed categories. In: Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), pp. 421–562. Springer, Berlin (1966)
Eilenberg, S., Mac Lane, S.: General theory of natural equivalences. Trans. Am. Math. Soc. 58, 231–294 (1945)
Freedman, M., Kitaev, A., Larsen, M., Wang, Z.: Topological quantum computation. Available as arXiv:quant-ph/0101025
Freedman, M., Kitaev, A., Wang, Z.: Simulation of topological field theories by quantum computers. Commun. Math. Phys. 227, 587–603 (2002). Also available as arXiv:quantph/0001071
Freedman, M., Kitaev, A., Wang, Z.: A modular functor which is universal for quantum computation. Commun. Math. Phys. 227, 605–622 (2002). Also available as arXiv:quantph/0001108
Freyd, P., Yetter, D.: Braided compact monoidal categories with applications to low dimensional topology. Adv. Math. 77, 156–182 (1989)
Girard, J.-Y.: Linear logic. Theor. Comp. Sci. 50, 1–102 (1987). Also available at http://iml.univ-mrs.fr/ girard/linear.pdf
Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge University Press, Cambridge (1990). Also available at http://www.monad.me.uk/stable/Proofs&2BTypes.html
Gödel, K.: Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums 4, 34–38 (1933)
Goldblatt, R.: Topoi: The Categorial Analysis of Logic. North-Holland, New York (1984). Also available at http://cdl.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010
Gottesman, D., Chuang, I.L.: Quantum teleportation is a universal computational primitive. Nature 402, 390–393 (1999). Also available as arXiv:quant-ph/9908010
Hasegawa, M.: Logical predicates for intuitionistic linear type theories. In: Girard, J.-Y. (ed.) Typed Lambda Calculi and Applications: 4th International Conference, TLCA ’99. Lecture Notes in Computer Science 1581. Springer, Berlin (1999). Also available at http://citeseer.ist.psu.edu/187161.html
Heyting, A., Brouwer, L.E.J. (ed.): Collected Works 1: Philosophy and Foundations of Mathematics. Elsevier, Amsterdam (1975)
Hilken, B.: Towards a proof theory of rewriting: The simply-typed 2*-calculus. Theor. Comput. Sci. 170, 407–444 (1996)
Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators: An Introduction. Cambridge University Press, Cambridge (2008)
Howard, W.A.: The formulae-as-types notion of constructions. In: Seldin, J.P., Hindley, J.R. (eds.) To Curry, H.B.: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 479–490. Academic Press, New York (1980)
Jay, C.B.: Languages for monoidal categories. J. Pure Appl. Alg. 59, 61–85 (1989)
Jay, C.B.: The structure of free closed categories. J. Pure Appl. Alg. 66, 271–285 (1990)
Joyal, A., Street, R.: The geometry of tensor calculus I. Adv. Math. 88, 55–113 (1991)
Joyal, A., Street, R.: The geometry of tensor calculus II. Available at http://www.math.mq.edu.au/ street/GTCII.pdf
Joyal, A., Street, R.: Braided monoidal categories, Macquarie Math Reports 860081 (1986). Available at http://rutherglen.ics.mq.edu.au/_street/JS86.pdf
Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20–78 (1993)
Kaiser, D.: Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics. University of Chicago Press, Chicago (2005)
Kassel, C.: Quantum Groups. Springer, Berlin (1995)
Kauffman, L.H.: Knots and Physics. World Scientific, Singapore (1991)
Kauffman, L.H., Lins, S.: Temperley–Lieb Recoupling Theory and Invariants of 3-Manifolds. Princeton University Press, Princeton (1994)
Kelly, G.M., Mac Lane, S.: Coherence in closed categories. J. Pure Appl. Alg. 1, 97–140, 219 (1971)
Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. J. Pure Appl. Alg. 19, 193–213 (1980)
Kleene, S.: *-definability and recursiveness. Duke Math. J. 2, 340–353 (1936)
Kock, J.: Frobenius Algebras and 2D Topological Quantum Field Theories, London Mathematical Society Student Texts 59. Cambridge University Press, Cambridge (2004)
Kohno, T. (ed.): New Developments in the Theory of Knots. World Scientific, Singapore (1990)
Lambek, J.: From *-calculus to cartesian closed categories. In: Seldin, J.P., Hindley, J.R. (eds.) To Curry, H.B.: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 375–402. Academic Press, New York (1980)
Lambek, J., Scott, P.J.: Introduction to Higher-order Categorical Logic. Cambridge University Press, Cambridge (1986)
Landin, P.: A correspondence between ALGOL 60 and Church’s lambda-notation. Commun. ACM 8, 89–101, 158–165 (1965)
Lawvere, F.W.: Functorial Semantics of Algebraic Theories, Ph.D. Dissertation, Columbia University (1963). Also available at http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html
Leinster, T.: A survey of definitions of n-category. Theor. Appl. Cat. 10, 1–70 (2002). Also available as arXiv:math/0107188
Mac Lane, S.: Natural associativity and commutativity. Rice Univ. Stud. 49 28–46 (1963)
Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1998)
Melliès, P.: Axiomatic rewriting theory I: A diagrammatic standardisation theorem. In: Processes, Terms and Cycles: Steps on the Road to Infinity, Lecture Notes in Computer Science 3838, pp. 554–638. Springer, New York (2005). Also available at http://www.pps.jussieu.fr/ mellies/papers/jwkfestschrift.pdf
McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, Part I. Comm. ACM 4, 184–195 (1960). Also available at http://wwwformal.stanford.edu/jmc/recursive.html
McLarty, C.: Elementary Categories, Elementary Toposes. Clarendon Press, Oxford (1995)
Moore, G., Read, N.: Nonabelions in the fractional quantum Hall effect. Nucl. Phys. B 360, 362–396 (1991)
Moschovakis, J.: Intuitionistic logic, Stanford Encyclopedia of Philosophy. Available at http://plato.stanford.edu/entries/logic-intuitionistic/
Penrose, R.: Applications of negative dimensional tensors. In: Welsh, D. (ed.) Combinatorial Mathematics and Its Applications, pp. 221–244. Academic Press, New York (1971)
Penrose, R.: Angular momentum: An approach to combinatorial space-time. In: Bastin, T. (ed.) Quantum Theory and Beyond, pp. 151–180. Cambridge University Press, Cambridge (1971)
Penrose, R.: On the nature of quantum geometry. In: Klauder J. (ed.) Magic Without Magic, pp. 333–354. Freeman, San Francisco (1972)
Penrose, R.: Combinatorial quantum theory and quantized directions. In: Hughston, L., Ward, R. (eds.) Advances in Twistor Theory, Pitman Advanced Publishing Program, pp. 301–317 (1979)
Rowell, E., Stong, R., Wang, Z.: On classification of modular tensor categories, available as arXiv:0712.1377
Scott, P.: Some aspects of categories in computer science. In: Hazewinkel, M. (ed.) Handbook of Algebra, vol. 2, Elsevier, Amsterdam (2000). Also available at http://www.site.uottawa.ca/ phil/papers/handbook.ps
Sawin, S.: Links, quantum groups and TQFTs. Bull. Am. Math. Soc. 33, 413–445 (1996). Also available as arXiv:q-alg/9506002
Schalk, A.: What is a categorical model for linear logic? Available at http://www.cs.man.ac.uk/schalk/notes/llmodel.pdf
Schönfinkel, M.: Über die Bausteine der mathematischen Logik. Math. Ann. 92, 305–316 (1924). Also available as On the building blocks of mathematical logic. Trans. Bauer-Mengelberg, S.: In: van Heijenoort, J. (ed.) A Source Book in Mathematical Logic, 1879–1931, pp. 355–366. Harvard University Press, Cambridge, Massachusetts (1967)
Seely, R.A.G.: Weak adjointness in proof theory, Applications of Sheaves, Lecture Notes in Mathematics 753, pp. 697–701. Springer, Berlin. Also available at http://www.math.mcgill.ca/rags/WkAdj/adj.pdf
Seely, R.A.G.: Modeling computations: A 2-categorical framework. In: Proceedings of the Symposium Logic Computer Science 1987, Computer Society of the IEEE, pp. 65–71. Also available at http://www.math.mcgill.ca/rags/WkAdj/LICS.pdf
Segal, G.: The definition of a conformal field theory. In: Tillmann, U.L. (ed.) Topology, Geometry and Quantum Field Theory: Proceedings of the 2002 Oxford Symposium in Honour of the 60th Birthday of Graeme Segal. Cambridge University Press, Cambridge (2004)
Selinger, P.: Lecture notes on the lambda calculus. Available at http://www.mscs.dal.ca/selinger/papers/#lambdanotes
Selinger, P.: Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), pp. 139–163. Elsevier, Amsterdam (2007). Also available at http://www.mscs.dal.ca/selinger/papers/#dagger
Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. Math. Struct. Comp. Sci. 13, 527–552 (2006). Also available at http://www.mathstat.dal.ca/selinger/papers/#qlambda
Shum, M.-C.: Tortile tensor categories. J. Pure Appl. Alg. 93, 57–110 (1994)
Soloviev, S.: Proof of a conjecture of S. Mac Lane. Ann. Pure Appl. Logic 90, 101–162 (1997)
Smolin, L.: The future of spin networks. In: Hugget, S., Tod, P., Mason, L.J. (eds.) The Geometric Universe: Science, Geometry, and the Work of Roger Penrose. Oxford University Press, Oxford (1998). Also available as arXiv:gr-qc/9702030
Stern, A.: Anyons and the quantum Hall effect – A pedagogical review. Ann. Phys. 323, 204–249 (2008). Available as arXiv:0711.4697
Stone, M. (ed.): Quantum Hall Effect. World Scientific, Singapore (1992)
Szabo, M.E. (ed.): Collected Papers of Gerhard Gentzen. North–Holland, Amsterdam (1969)
Trimble, T.: Linear Logic, Bimodules, and Full Coherence for Autonomous Categories, Ph.D. thesis, Rutgers University (1994)
Troelstra, A.S.: Lectures on Linear Logic, Center for the Study of Language and Information. Stanford, California (1992)
Turaev, V.G.: Quantum Invariants of Knots and 3-Manifolds. de Gruyter, Berlin (1994)
van Tonder, A.: A lambda calculus for quantum computation. SIAM J. Comput. 33, 1109–1135 (2004). Also available as arXiv:quant-ph/0307150
Witten, E.: Quantum field theory and the Jones polynomial. Commun. Math. Phys. 121, 351–399 (1989)
Wootters, W.K., Zurek, W.H.: A single quantum cannot be cloned. Nature 299, 802–803 (1982)
Yetter, D.N.: Functorial Knot Theory: Categories of Tangles, Coherence, Categorical Deformations, and Topological Invariants. World Scientific, Singapore (2001)
Acknowledgments
We owe a lot to participants of the seminar at UCR where some of this material was first presented: especially David Ellerman, Larry Harper, Tom Payne—and Derek Wise, who took notes [13]. This paper was also vastly improved by comments by Andrej Bauer, Tim Chevalier, Derek Elkins, Greg Friedman, Matt Hellige, Robin Houston, Theo Johnson–Freyd, Jürgen Koslowski, Todd Trimble, Dave Tweed, and other regulars at the n-Category Café. MS would like to thank Google for letting him devote 20& of his time to this research, and Ken Shirriff for helpful corrections. This work was supported by the National Science Foundation under Grant No. 0653646.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-VerlagBerlin Heidelberg
About this chapter
Cite this chapter
Baez, J., Stay, M. (2010). Physics, Topology, Logic and Computation: A Rosetta Stone. In: Coecke, B. (eds) New Structures for Physics. Lecture Notes in Physics, vol 813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12821-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-12821-9_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12820-2
Online ISBN: 978-3-642-12821-9
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)