While listening to some talks at the special session on categorical topology last Saturday, I realized that I had said something wrong at the end of part II: the filter spaces satisfying the property that any intersection of filters that converge to a point x must also converge to x are not the topological filter spaces, but the pretopological filter spaces. See the full post for an in-depth discussion of the matter.
I’m currently at the Joint Mathematics Meeting in Baltimore, MD, USA. This is a huge conference. The program alone is a 250+ page booklet!
My main purpose there is to participate in the special session on categorical topology on Saturday, January 18th. I’m going to talk about the Escardò-Lawson-Simpson construction (Section 5.6 in the book). Nicely enough, this generalizes outside of pure topology, by the mere virtue of so-called topological functors. I’m also applying all that to Sanjeevi Krishnan’s notion of streams, an incredibly nice model for directed algebraic topology. You can find all this in my slides. If you are brave, you can also read the paper.
Next week, I’ll visit Frédéric Mynard at Georgia Southern University, Statesboro, GA, USA. On Tuesday, January 21st, I’ll give a related talk that is meant as an introduction to directed algebraic topology and streams.
The Christmas 2013 puzzle is out! (also playable online.) Note the black squares make a kind of Christmas cracker shape… Don’t omit the other 11 puzzles, too.
I said earlier that what convergence was the starting point of topology. Why not take this seriously and replace topological spaces by spaces that would be defined in terms of notions of convergence directly, instead of through opens?
One bonus is that we shall obtain Cartesian-closed categories, and this will be easy! As usual, while nets will allow us to grasp the concept, this will actually work best with filters. See the full post.
It’s out! And freaky difficult as well… Play it online, too, and don’t forget the other topology-related crossword puzzles. Enjoy!
It’s been a long time, and I haven’t given any news from the Summer Topology Conference. There I met Frédéric Mynard. Frédéric stressed the importance of filters to me, and I should mention a few of the nice things one can do with them. See the first part of the post.
I’m off to the Summer Topology Conference, North Bay, Ontario, Canada. I’ll be giving two talks there. One is directly related to Chapter 7 of the book, and may help get a global vision of what’s going on there: have a look at the slides. I’m also going to give another nifty talk, on a short proof of the Schröder-Simpson theorem (see the slides to see what that is); but that is not related to the book, rather to its sequel. After that, I’m on holidays: happy holidays to you all as well!
Dito Pataraia once came up with an elegant proof of (essentially) the Bourbaki-Witt theorem. The proof is very short, and deserves a look. Furthermore, it uses domain theory in an essential way: the core is showing that the set of inflationary monotonic maps on a dcpo is itself a dcpo, and is directed, hence has a supremum. Dito Pataraia would very rarely publish his findings, and we owe it to Martín Escardó that it did not disappear with him. I personally became aware of this thanks to one anonymous referee of the book. See the full post.
The book is out! I’ve thanked several people at the beginning of the book, and I should now also thank everybody at Cambridge University Press, and notably Roger Astley, Helena Dowson, Clare Dennison, Caroline Mowatt, and Sarah Payne. It was a pleasure to interact with dedicated and serious people such as you!
There are now two extra menus here.
Let us skip the “course ideas” menu. You see what I mean. It might even be helpful.
Instead, look at the “puzzles menu” if you’d like some relaxation. All right, the intellectual kind: crossword puzzles! And related to the book‘s themes, at that. Enjoy!
