User loginNavigation 
The Galois connection between syntax and semantics
Peter Smith, The Galois connection between syntax and semantics.
explains Lawvereâ€™s remark about â€˜the familiar Galois connection between sets of axioms and classes of models, for a fixed [signature]â€˜ Seems like a rather nice introduction to the notion of Galois connection (I seem to remember someone asking about this awhile back). One place Galois connections pop up is in the realm of Abstract Interpretation. 
Browse archives
Active forum topics

Recent comments
19 weeks 3 days ago
23 weeks 5 days ago
25 weeks 2 days ago
25 weeks 2 days ago
28 weeks 17 hours ago
32 weeks 5 days ago
32 weeks 5 days ago
33 weeks 1 day ago
33 weeks 1 day ago
35 weeks 6 days ago