A short note on an alternative description of the adjunction between topological spaces and frames. In fact, we describe the adjunction between interior spaces and frames instead. This is based Ivan Di Liberti’s Ph.D. thesis.
A pointfree description of convex compact subsets
◂ bitopological spaces, pointfree topology ▸
I discuss a pointfree representation of convex compact subsets that appeared in my thesis. I also solve a small open problem regarding the canonical forms of those representations.
Vietoris and open maps
◂ pointfree topology ▸
In this note I discuss an interesting interplay between Vietoris powerlocale and open maps. This came out of a discussion we had with Luca Reggio and Mai Gehrke when working on our latest paper.
The problem with the latest copyright directive
◂ internet, copyright ▸
This is my view on the upcoming European copyright directive. It aims to punish Google, Facebook and other big internet companies and help the European newspapers and artists. The problem is that it achieves none of that and, on the other hand, it fundamentally breaks the internet.