Heyting Algebras, Pointless Topology

My friend Tor reports, "Complete Heyting algebras are a central object of study in pointless topology".

Tags

More like this

My buddy Mathias is planning an interesting course at the University of Gothenburg for this autumn: "The IT Society's Vulnerabilites". I translate: The goal of the course is to improve understanding of the vulnerability inherent in the central role information technology plays in society. The…
Basics: Algebra While I was writing the vectors post, when I commented about how math geeks always build algebras around things, I realized that I hadn't yet written a basics post explaining what we mean by algebra. And since it isn't really what most people think it is, it's definitely worth…
So, let's see what's new in PLoS Genetics, PLoS Computational Biology, PLoS Pathogens, PLoS ONE and PLoS Neglected Tropical Diseases this week. As always, you should rate the articles, post notes and comments and send trackbacks when you blog about the papers. Here are my own picks for the week -…
After my November talk at the County Museum in Linköping I was kindly presented with a copy of the third edition of Inga Wallenquists's book Ãstgötamat, "Ãstergötland Food". It's a beautifully illustrated coffee-table book combining recipes from the past three centuries with bits of regional…

Why study pointless topologies? If they are pointless, what's the point?