Sheaf Representations and Duality in Logic

DOI10.1007/978-3-030-66545-6_2OpenAlexW3002095623MaRDI QIDQ5014593

Steven Awodey

Publication date: 8 December 2021

Published in: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.09195

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Category theory; homological algebra (18-XX)

Related Items (1)

Sheaf representation of monoidal categories

Cites Work

• Unnamed Item
• Unnamed Item
• What is the world of mathematics?
• Stone duality for first order logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Representing topoi by topological groupoids
• Toposes as homotopy groupoids
• First-order logical duality
• Topological representation of geometric theories
• An extension of the Galois theory of Grothendieck
• Aspects of topoi
• Completeness in the theory of types

This page was built for publication: Sheaf Representations and Duality in Logic