Email Record: A first course in topos quantum theory /