## 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## New forum topics |

## Recent comments

2 days 24 min ago

2 days 4 hours ago

2 days 15 hours ago

1 week 6 days ago

1 week 6 days ago

3 weeks 4 days ago

6 weeks 6 days ago

7 weeks 1 day ago

7 weeks 1 day ago

7 weeks 2 days ago