  Previous work on applications of Abstract Differential Geometry (ADG) to
discrete Lorentzian quantum gravity is brought to its categorical climax by
organizing the curved finitary spacetime sheaves of quantum causal sets
involved therein, on which a finitary (:locally finite), singularity-free,
background manifold independent and geometrically prequantized version of the
gravitational vacuum Einstein field equations were seen to hold, into a topos
structure. This topos is seen to be a finitary instance of both an elementary
and a Grothendieck topos, generalizing in a differential geometric setting, as
befits ADG, Sorkin's finitary substitutes of continuous spacetime topologies.
The paper closes with a thorough discussion of four future routes we could take
in order to further develop our topos-theoretic perspective on ADG-gravity
along certain categorical trends in current quantum gravity research.
