31.01.2013 Views

Nabla Algebras and Chu Spaces

Nabla Algebras and Chu Spaces

Nabla Algebras and Chu Spaces

SHOW MORE
SHOW LESS

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>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!