## User login## Navigation |
## 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

8 hours 31 min ago

11 hours 14 min ago

11 hours 33 min ago

11 hours 37 min ago

17 hours 26 min ago

2 days 6 hours ago

2 days 11 hours ago

3 days 11 hours ago

3 days 13 hours ago

3 days 19 hours ago