Corpus ID: 2337874

QUANTIFIERS AND SHEAVES by

@inproceedings{Lawvere2010QUANTIFIERSAS,
  title={QUANTIFIERS AND SHEAVES by},
  author={F. W. Lawvere},
  year={2010}
}

• F. W. Lawvere
• Published 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

mathunion.org

Save to Library

Create Alert

Cite

Launch Research Feed