Topos Analogue of Propositions

Logic of Propositions in Topos Quantum Theory

Topos Analogues of States

Topos Analogue of the State Space

A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues

Internalizing Objects in Topos Theory

Temporal Topos and Physics