
Archives
 May 2020
 April 2020
 March 2020
 February 2020
 January 2020
 December 2019
 November 2019
 October 2019
 September 2019
 August 2019
 July 2019
 June 2019
 May 2019
 April 2019
 March 2019
 February 2019
 January 2019
 December 2018
 November 2018
 October 2018
 September 2018
 August 2018
 July 2018
 June 2018
 May 2018
 April 2018
 March 2018
 February 2018
 January 2018
 December 2017
 November 2017
 October 2017
 September 2017
 July 2017
 June 2017
 April 2017
 February 2017
 January 2017
 October 2016
 August 2016
 July 2016
 June 2016
 May 2016
 April 2016
 March 2016
 January 2016
 December 2015
 October 2015
 September 2015
 July 2015
 June 2015
 May 2015
 March 2015
 February 2015
 January 2015
 December 2014
 November 2014
 September 2014
 July 2014
 June 2014
 May 2014
 March 2014
 January 2014
 December 2013
 November 2013
 October 2013
 July 2013
 June 2013
 April 2013
 February 2013
 October 2012

Meta
Category Archives: Uncategorized
Bchulls and Clathulls
Boundedcomplete domains (bcdomains) are an incredibly useful form of continuous dcpos. Given a continuous dcpo X, is there a completion of X as a bcdomain, for example a free bcdomain on X? That does not exist in general, but Yuri … Continue reading
Posted in Uncategorized
Comments Off on Bchulls and Clathulls
Shimrat’s theorem
Marcus Tressl just found a horrible mistake in the book: I had claimed that the T0 quotient of the topological quotient of any sober space by any equivalence relation is sober, but that is completely wrong. In fact, Moshe Shimrat … Continue reading
Posted in Uncategorized
Comments Off on Shimrat’s theorem
On countability: the compact completed sequence
Recently, Matthew de Brecht sent me a proof of a neat and rather surprising result: the product and the Scott topologies coincide for products of firstcountable, not necessarily continuous, posets. This rests on a clever argument, inspired by techniques invented … Continue reading
Posted in Uncategorized
Comments Off on On countability: the compact completed sequence
Isbell’s non sober complete lattice
Johnstone space J (1981) is the most famous example of a nonsober dcpo. In 1982, Isbell came up with a nonsober complete lattice. His construction is so complex that most authors use it as a black box. I would like … Continue reading
Posted in Uncategorized
Comments Off on Isbell’s non sober complete lattice
Countably presented locales
Reinhold Heckmann showed the following in a very nice paper of 2014: every countably presented locale is spatial. What makes it even nicer is that he shows how tightly this is connected with the Baire property. This also gives a … Continue reading
Posted in Uncategorized
Comments Off on Countably presented locales
A corecompact, nonlocally compact space
Last time, I had announced that we would do Exercise V5.25 of the red book, constructing a corecompact, yet not locally compact, space. And this is exactly what we shall do: read the full post.
Posted in Uncategorized
Comments Off on A corecompact, nonlocally compact space
Bernstein subsets of R
This month, we will start to do Exercise V5.25 of the red book (Continuous Lattices and Domains), which gives an example of a corecompact, not locally compact space. That is pretty hard to obtain, really. This month, we will do … Continue reading
Posted in Uncategorized
Comments Off on Bernstein subsets of R
On countability
Let me first wish you a Merry Christmas, and since I will not post again next week, a Happy New Year 2019 as well. I have no specific present this year, sorry… This month’s post is about a few thoughts … Continue reading
Posted in Uncategorized
Comments Off on On countability
The locale of random elements of a space
Alex Simpson has a lot of slides with very interesting ideas. One of them is what he calls the locale of random sequences. This is a terribly clever idea that aims at solving the question “what are random sequences?”, using … Continue reading
Posted in Uncategorized
Comments Off on The locale of random elements of a space
Projective limits of topological spaces III: finishing the proof of Steenrod’s theorem
Last time, we embarked on proving that the projective limit of a projective system of compact sober (resp., and nonempty) spaces is compact and sober (resp., and nonempty), a theorem that Fujiwara and Kato call Steenrod’s Theorem. However, instead, we … Continue reading
Posted in Uncategorized
Comments Off on Projective limits of topological spaces III: finishing the proof of Steenrod’s theorem