A sheaf model for intuitionistic quantum mechanics

M. Adelman*, J. V. Corbett

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    12 Citations (Scopus)


    We analyze the passing of a single particle through a double-slit apparatus. This is done using a sheaf model of intuitionistic logic. We develop an algebra of slits and study the non-classical behaviour of quantum slits. A specific interference formula is obtained by averaging. This formula extends the usual one.

    Original languageEnglish
    Pages (from-to)79-104
    Number of pages26
    JournalApplied Categorical Structures
    Issue number1
    Publication statusPublished - Mar 1995


    • topos
    • quantum mechanics
    • sheaf


    Dive into the research topics of 'A sheaf model for intuitionistic quantum mechanics'. Together they form a unique fingerprint.

    Cite this