The projection postulate, which prescribes “collapse of the state vector” upon measurement, is not an essential part of quantum mechanics. Rather it is only an optional discarding of certain branches of the state vector that are expected to be irrelevant for the purpose at hand. However, its use is hazardous, and there are examples of repeated measurements for which the conventional application of the projection postulate leads to incorrect results.

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Sec.1, we introduce these problems. In Sec.2, we introduce topos theory, especially the idea of a topos of presheaves. In Sec.3, we discuss several possible applications of topos theory to the problems in Sec.1. In Sec.4, we draw some conclusions.