A second course in topos quantum theory. ([2018])