## 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

2 weeks 2 days ago

2 weeks 2 days ago

2 weeks 3 days ago

2 weeks 3 days ago

2 weeks 3 days ago

2 weeks 3 days ago

2 weeks 5 days ago

2 weeks 6 days ago

3 weeks 4 days ago

3 weeks 5 days ago