Quantization in Topos Quantum Theory: An Open Problem

Extending the Topos Quantum Theory Approach

A Topos theory for quantum mechanics

A Second Course in Topos Quantum Theory

Probabilities in Topos Quantum Theory

Group Action in Topos Quantum Theory

A Comparison of Two Topos-Theoretic Approaches to Quantum Theory