## Sheafifying Consistent Histories (2001)

### BibTeX

@MISC{Raptis01sheafifyingconsistent,

author = {Ioannis Raptis},

title = {Sheafifying Consistent Histories},

year = {2001}

}

### OpenURL

### Abstract

Isham’s topos-theoretic perspective on the logic of the consistent-histories theory [34] is extended in two ways. First, the presheaves of consistent sets of history propositions in their corresponding topos originally proposed in [34] are endowed with a Vietoristype of topology and subsequently they are sheafified with respect to it. The category resulting from this sheafification procedure is the topos of sheaves of sets varying continuously over the Vietoris-topologized base poset category of Boolean subalgebras of the universal orthoalgebra UP of quantum history propositions. The second extension of the topos in [34] consists in endowing the stalks of the aforementioned sheaves, which were originally inhabited by structureless sets, with further algebraic structure