Physics, Topology, Logic and Computation:

A Rosetta StoneJohn C. BaezDepartment of Mathematics, University of CaliforniaRiverside, California 92521, USAMike StayGoogle, 1600 Amphitheatre PkwyMountain View, California 94043, USAemail: baez@math.ucr.edu, stay@google.comMarch 15, 20081IntroductionCategory theory is a very general formalism, but there is a certain special way that physicists usecategories which turns out to have close analogues in topology, logic and computation. A category [...]