Copenhagen Programming Language Seminar
Joint work between G. Gruenhage and T.Streicher
The notion of replete object was introduced by M. Hyland and P. Taylor around 1990 within Synthetic Domain Theory (SDT) in analogy with the sober spaces as known from topology. In this little note we show that for the realizability model over Scott's graph model and Kleene's function realizability model repletion is not given by sobrification. Thus there are replete objects which are not sober. Moreover, we show that a certain equalizer construction for repletion (as suggested by P.Taylor) fails to do its job.
Carsten Butz. Administrative host:
Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org