Sheaf Representations and Duality in Logic
Logic
2020-01-28 v1 Category Theory
Abstract
The fundamental duality theories relating algebra and geometry that were discovered in the mid-20th century can also be applied to logic via its algebraization under categorical logic. They thereby result in known and new completeness theorems. This idea can be taken even further via what is sometimes called ``categorification'' to establish a new connection between logic and geometry, a glimpse of which can also be had in topos theory.
Cite
@article{arxiv.2001.09195,
title = {Sheaf Representations and Duality in Logic},
author = {Steve Awodey},
journal= {arXiv preprint arXiv:2001.09195},
year = {2020}
}
Comments
Written for a volume in honor of Joachim Lambek