The Leibniz project

A language for quantum physics is derived from set theory by replacing the classical predicate algebra (Boolean) by a certain quantum predicate algebra (rational projective), time space and the Hamilton-Schroedinger dynamics by a Feynman-like graph dynamics, and the Dirac spin operators by topological switching operators on the graph. The development is described from the basic level of elementary monadic processes to the level of the free Dirac equation.