University of Birmingham > Talks@bham > Bravo > Apartness for continuous dcpos

Apartness for continuous dcpos

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

If you have a question about this talk, please contact Tom de Jong.

In constructive mathematics, we can distinguish between non-empty types and inhabited types. Similarly, we can distinguish between two elements being unequal and two elements being apart. Continuous dcpos are an important class of posets in theoretical computer science and topology. We introduce them by studying a particular example related to Dedekind reals. We then describe a notion of apartness for continuous dcpos and highlight its connections to both the Scott topology and the apartness topology of Bridges and Vîță.

This talk is part of the Bravo 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 talks.cam from the University of Cambridge.