This advanced course, a sequel to the first volume of this lecture series on topos quantum theory, delves deeper into the theory, addressing further technical aspects and recent advances. These include, but are not limited to, the development of physical quantities and self-adjoint operators; insights into the quantization process; the description of an alternative, covariant version of topos quantum theory; and last but not least, the development of a new concept of spacetime. The book builds on the concepts introduced in the first volume (published as Lect. Notes Phys. 868), which presents the main building blocks of the theory and how it could provide solutions to interpretational problems in quantum theory, such as: What are the main conceptual issues in quantum theory? And how can these issues be solved within a new theoretical framework of quantum theory? These two volumes together provide a complete, basic course on topos quantum theory, offering a set of mathematical tools to readers interested in tackling fundamental issues in quantum theory in general, and in quantum gravity in particular. From the reviews of the first volume:

The book is self-contained and can be used as a textbook or self-study manual teaching the usage of category theory and topos theory, in particular in theoretical physics or in investigating the foundations of quantum theory in mathematically rigorous terms. [The] book is a very welcome contribution. Frank Antonsen, Mathematical Reviews, December, 2013

Authored by a leading researcher in the field Course-tested textbook Includes worked-out problems

Autorentext

Inhalt
Logic of Propositions in Topos Quantum Theory.- Developments on Self Adjoint Operators in Topos Quantum Theory.- Physical quantities interpreted as modal operators.- Group action in Topos Quantum Theory take two.- Quantization in Topos Quantum Theory.- Groethendieck Topoi.- Locales.- Spacetime.- Topos and Logic.- Internalizing Objects in Topos Theory.- What information can be recovered from the abelian subalgebras of a von-Neumann algebra.- Extending the spectral presheaf to non-abelian unital C*-algebras. <p