Abstract
Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal to this ringed topos. We extend these ideas from quantum mechanics to algebraic quantum field theory: from a net of observables we construct a presheaf of quantum phase spaces. We can then naturally express the causal locality of the net as a descent condition on the corresponding presheaf of ringed toposes: we show that the net of observables is local, precisely when the presheaf of ringed toposes satisfies descent by a local geometric morphism.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Electronic Proceedings in Theoretical Computer Science
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
