Topoi for Physics

Next: Spectral Presheaf on Up: topos Previous: Local sections

The are a number of Presheaves which arise in Quantum Mechanics. In this section, though,I will only describe a selected few of them which were introduced by Isham and Butterfield [1], [5], [2] in order to define a new type of logic using Topos theory.

The presheaves which I will describe are :

• Spectral Presheaf on
  
  
  
• Dual Presheaf on
  
  
  
• Dual Presheaf D o W

These presheaves will be defined on those Quantum categories which I introduced in Categories in Quantum Mechanics.

---

Subsections

• Spectral Presheaf on
  • Example of spectral presheaf
  
  
• Dual Presheaf on
• Dual Presheaf D o W
• Coarse Graining Presheaf
  • Coarse graining presheaf G
  • Coarse Graining Presheaf on category of Boolean subalgebras
  
  
• Example of Coarse Graining Presheaf

---

Cecilia Flori 2007-01-02