reference. A first course in topos quantum theory [flori2013first]

✍️source

@book{flori2013first,
 title = {A first course in topos quantum theory},
 author = {Flori, Cecilia},
 year = {2013},
 volume = {868},
 publisher = {Springer}
}