1.

V. S. Varadarajan, *Geometry of Quantum Mechanics*, Vol. 1 (Van Nostrand, Princeton, New Jersey, 1968).

2.

G. Birkhoff and J. von Neumann, "The logic of quantum mechanics,"*Ann. Math*. 37, 823 (1936).

3.

S. Kochen and E. Specker, "The problem of hidden variables in quantum mechanics,"*J. Math. Mech*. 17, 59 (1967).

4.

F. W. Lawvere and S. H. Schanuel, *Conceptual Mathematics* (University Press, Cambridge,1997).

5.

S. MacLane, *Categories for the Working Mathematician* (Springer, New York, 1971).

6.

F. Borceaux, *Handbook of Categorical Algebra*, Vols. 1-3 (University Press, Cambridge,1994).

7.

G. M. Kelly, "Basic concepts of enriched category theory," *London Math. Soc. Lecture Notes Series* 64, (1971).

8.

J. L. Bell, "Observations on category theory,"*Axiomathes* 12, 151 (2001).

9.

J. L. Bell, "From absolute to local mathematics,"*synthese* 69, 409 (1986).

10.

J. L. Bell, "Categories, toposes and sets," *Synthese* 51(3), 293 (1982).

11.

S. MacLane and I. Moerdijk, *Sheaves in Geometry and Logic* (Springer, New York, 1992).

12.

J. L. Bell, *Toposes and Local Set Theories* (University Press, Oxford, 1988).

13.

M. Artin, A. Grothendieck, and J. L. Verdier, *Theorie de topos et cohomologie etale des schemas* (Springer LNM 269 and 270) (Springer, Berlin, 1972).

14.

E. Zafiris, "On quantum event structures. Part I: The categorical scheme," *Found. Phys. Lett*. 14(2), 147 (2001). 1090 Zafiris

15.

E. Zafiris, "On quantum event structures. Part II: Interpretational aspects,"*Found. Phys. Lett.*14(2), 167 (2001).

16.

J. Butterfield and C. J. Isham, "A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalized valuations,"*Int. J. Theoret. Phys*. 37, 2669 (1998).

17.

J. Butterfield and C. J. Isham, "A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects and classical analogues,"*Intern. J. Theoret. Phys*. 38, 827 (1999).

18.

J. P. Rawling and S. A. Selesnick, "Orthologic and quantum logic. models and computational elements," *Journal of the Association for Computing Machinery* 47, 721 (2000).

19.

I. Raptis, "Presheaves, sheaves, and their topoi in quantum gravity and quantum logic," gr-qc/0110064.

20.

J. Butterfield and C. J. Isham, "Some possible roles for topos theory in quantum theory nd quantum gravity," *Found. Phys.* 30, 1707 (2000).

21.

G. Takeuti, "Two applications of logic to mathematics," *Mathematical Society of Japan* 13, Kano Memorial Lectures 3(1978).

22.

M. Davis, "A relativity principle in quantum mechanics,"*Int. J. Theoret. Phys*. 16, 867 (1977).

23.

E. Zafiris, "On Quantum Event Structures. Part III: Object of truth values,"*Found. Phys. Lett*., in press.