A First Course in Topos Quantum Theory door