University of Birmingham > Talks@bham > Lab Lunch > Canonical extensions and Stone duality for strong proximity lattices

Canonical extensions and Stone duality for strong proximity lattices

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

  • UserSam van Gool
  • ClockTuesday 29 June 2010, 12:00-13:00
  • HouseCS 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.