Corpus ID: 2337874

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
  • J. Marquis, G. Reyes
  • 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
  • 31
  • PDF
A categorical semantics for fuzzy predicate logic
  • L. N. Stout
  • Mathematics, Computer Science
  • Fuzzy Sets Syst.
  • 2010
  • 3
Modes of Adjointness
  • 6
Reflections on the Categorical Foundations of Mathematics
  • 3
  • PDF
Topological Completeness of First-Order Modal Logic
  • 6
  • PDF
Topological Completeness of First-Order Modal Logics
  • PDF
Realizability Categories
  • 11
  • PDF
...
1
2
3
4
...

References

Where do correct ideas come from
  • 25