Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Foreword<br />
Basic observations<br />
∇-algebras<br />
Lifting constructions on <strong>Chu</strong> spaces<br />
Vietoris endofunctor on Stone spaces<br />
Axiomatic equivalences<br />
Using the stipulations<br />
one shows:<br />
✸ϕ ≡ ∇{ϕ, ⊤}<br />
✷ϕ ≡ ∇∅ ∨ ∇{ϕ}<br />
∇Φ ≡ ✷( � Φ) ∧ � ✸Φ<br />
Aless<strong>and</strong>ra Palmigiano (joint work with Yde Venema) <strong>Nabla</strong> <strong>Algebras</strong> <strong>and</strong> <strong>Chu</strong> <strong>Spaces</strong>