We take a first step towards establishing a link between the topos approach to quantum theory and the monoidal approach to quantum theory. The topos approach to quantum theory makes extensive use of categories of commutative C~*-algebras and their corresponding Gelfand spectrum. We generalise these categories of C~*-algebras and generalize the notion of Gelfand spectrum via defining the abstract spectral presheaf. We then characterise this spectral presheaf for the category of sets and relations, and examine how this relates to the notion of observable in this category as studied in the monoidal approach to quantum theory.
展开▼