QUANTIFIERS AND SHEAVES by
@inproceedings{Lawvere2010QUANTIFIERSAS, title={QUANTIFIERS AND SHEAVES by}, author={F. W. Lawvere}, year={2010} }
The unity of opposites in the title is essentially that between logic and geometry, and there are compelling reasons for maintaining that geometry is the leading aspect. At the same lime, in the present joint work with Myles Tierney there are important influences in the other direction: a Grothendieck " topology " appears most naturally as a modal operator, of the nature " it is locally the case that ", the usual logical operators such as V, 3, => have natural analogues which apply to families… Expand
39 Citations
The History of Categorical Logic: 1963-1977
- Mathematics, Computer Science
- Sets and Extensions in the Twentieth Century
- 2012
- 23
- Highly Influenced
- PDF
Topology and Modality: the Topological Interpretation of First-order Modal Logic
- Mathematics, Computer Science
- Rev. Symb. Log.
- 2008
- 31
- PDF