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
17 weeks 14 hours ago
17 weeks 14 hours ago
17 weeks 14 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago