Logic Matters 2008-05-08

Galois connections

In his classic paper "Adjointness in foundations" (1969), F. William Lawvere writes of 'the familiar Galois connection between sets of axioms and classes of models, for a fixed [signature]'. The idea might be familiar to category theorists, but it isn't easy to find a clear account of what it involves. So, inspired by a talk by Nathan Bowler last term, I've put together a piece on Galois connections to explain. All comments, corrections, suggestions for improvements/additions very welcome. [It's part of a planned longer piece about order and ordinals.]

read more    2 hits

more posts from Logic Matters