A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
Logic in Computer Science
2020-07-31 v1 Category Theory
General Topology
Logic
Abstract
We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on the use of (i) topological duality methods to solve problems in logic and computer science; (ii) category theory and, more particularly, free (and co-free) constructions; (iii) these tools to unify the `power' and `structure' strands in computer science.
Keywords
Cite
@article{arxiv.2007.15415,
title = {A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures},
author = {Mai Gehrke and Tomas Jakl and Luca Reggio},
journal= {arXiv preprint arXiv:2007.15415},
year = {2020}
}
Comments
29 pages