Back in 1969, F. William Lawvere (in his Dialectica paper ‘Adjointness in Foundations’) remarked on what he called “the familiar Galois connection between sets of axioms and classes of models”.
But even if it has long been familiar to some category theorists and theoretical computer scientists, the idea that Lawvere is referring to here seems not to have been picked up that widely. Certainly, I’ve not been able to find a neat stand-alone presentation which is accessible e.g. to philosophers doing a first course in model theory. So I’m trying to put together some notes to fill the gap. (If anyone can point me to helpful aids to thinking about these things that I might have missed in googling around, then I’d be very pleased to hear about them.)
Don’t expect novel fireworks, though! The name of the game is to get at routine points about theories and their models by a slightly unfamiliar route (and I’m still trying to work out just what points fall out of this approach in a natural way). However, approaching familiar territory from an unfamiliar angle can be illuminating. So I think it is probably going to be worth the effort.
4 thoughts on “Theories, models and Galois connections”
Again, many thanks for the pointer!
Hi Peter –
I found Steve Awodey’s lecture notes on categorical logic a help for this.
Cf Section 2.1 of lecture notes
Cheers – R
Excellent thought — I’d forgotten about Dunn and Hardegree. Off to the library!
Dunn and Hardegree’s book on algebraic logic has a fair amount about Galois connections. Lots of the material is scattered about the first several chapters then it is brought together in a more general approach near the end. There isn’t anything, so far, on models and theories directly, just the general idea of Galois connections. They focus mainly on Galois connections among propositional operations.
I’m interested to see your notes. I hadn’t heard of Galois connections before reading the Dunn and Hardegree book and it would be great to see some applications in more familiar areas.