Full text 

Table of Contents: “... -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References....”

Full text 

Table of Contents: “...Introduction -- Philosophical Motivations -- Kochen-Specker Theorem -- Introducing Category Theory -- Functors -- The Category of Functors -- Topos -- Topos of Presheaves -- Topos Analogue of the State Space -- Topos Analogue of Propositions -- Topos...”

Full text