  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.
