A sheaf model for intuitionistic quantum mechanics

  title={A sheaf model for intuitionistic quantum mechanics},
  author={M. Adelman and J. V. Corbett},
  journal={Applied Categorical Structures},
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. Mathematics Subject Classifications (1991). 18B25, 03G30, 47D45.