Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Foreword<br />
Basic observations<br />
∇-algebras<br />
Lifting constructions on <strong>Chu</strong> spaces<br />
Vietoris endofunctor on Stone spaces<br />
Algebraic <strong>and</strong> Coalgebraic study on <strong>Nabla</strong><br />
<strong>Nabla</strong> axiomatizatized<br />
Two intrinsic axiomatizations: Classical Modal Logic <strong>and</strong> Positive<br />
Modal Logic.<br />
<strong>Chu</strong> spaces<br />
setting for connecting <strong>Nabla</strong> <strong>and</strong> lifting constructions.<br />
Case study<br />
Vietoris construction reformulated as P-lifting.<br />
Key for generalizing Vietoris construction to arbitrary set<br />
functors.<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>