论文标题
库克在逻辑上的二元性之旅：从量化器，到越野摩托车到措施
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
论文作者
论文摘要
我们确定并强调了Samson Abramsky的工作中某些地标的结果，我们认为这对于当前的发展和未来趋势至关重要。特别是，我们专注于（i）拓扑二元性方法来解决逻辑和计算机科学问题； （ii）类别理论，尤其是自由（和无共）结构； （iii）这些工具以统一计算机科学中的“力量”和“结构”链。
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.
