Sheaf Representations and Duality in Logic

Steve Awodey

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 lo…