Title: Some basics of the topos approach
Abstract: Some of the basic structures in the topos approach to quantum theory are introduced. In particular, the spectral presheaf, which serves as an analogue of the (non-existent) state space of a quantum system, is shown to be closely related to the Gel'fand spectrum of a certain topos-internal C*-algebra.