  A brief synopsis of recent conceptions and results, the current status and
future outlook of our research program of applying sheaf and topos-theoretic
ideas to quantum gravity and quantum logic is presented.
