Post #2185087

I realise this work is a little marginal in terms of its “significance”, but I really love it and found it so enjoyable. I was amazed that in order to separate Sierpinski completeness from Segal completeness, we had to use a notion of "proper space” from synthetic topology!