Canonical extensions and Stone duality for strong proximity lattices

Add to your list(s) Download to your calendar using vCal

• Sam van Gool
• Tuesday 29 June 2010, 12:00-13:00
• CS 124.

If you have a question about this talk, please contact Dan Ghica.

Strong proximity lattices were introduced by Jung and Sünderhauf (1996) as the finitary algebraic structures dual to stably compact spaces. A strong proximity lattice is a lattice endowed with a binary relation satisfying certain axioms. We show that the duality between strong proximity lattices and stably compact spaces can also be described algebraically and in a point-free way, by defining the appropriate generalisation of canonical extensions of lattices to strong proximity lattices.

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• CS 124
• Lab Lunch

Note that ex-directory lists are not shown.