9 found
F. William Lawvere [7]F. W. Lawvere [2]
  1.  46
    Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
  2.  11
    Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.
  3.  54
    Categories of Space and of Quantity.F. William Lawvere - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter. pp. 14--30.
  4.  81
    Cohesive Toposes and Cantor's 'Lauter Einsen'.F. W. Lawvere - 1994 - Philosophia Mathematica 2 (1):5-15.
    For 20th century mathematicians, the role of Cantor's sets has been that of the ideally featureless canvases on which all needed algebraic and geometrical structures can be painted. (Certain passages in Cantor's writings refer to this role.) Clearly, the resulting contradication, 'the points of such sets are distinc yet indistinguishable', should not lead to inconsistency. Indeed, the productive nature of this dialectic is made explicit by a method fruitful in other parts of mathematics (see 'Adjointness in Foundations', Dialectia 1969). This (...)
    Direct download (9 more)  
    Export citation  
    Bookmark   11 citations  
  5.  46
    Foundations and Applications: Axiomatization and Education.F. William Lawvere - 2003 - Bulletin of Symbolic Logic 9 (2):213-224.
    Foundations and Applications depend ultimately for their existence on each other. The main links between them are education and the axiomatic method. Those links can be strengthened with the help of a categorical method which was concentrated forty years ago by Cartier, Grothendieck, Isbell, Kan, and Yoneda. I extended that method to extract some essential features of the category of categories in 1965, and I apply it here in section 3 to sketch a similar foundation within the smooth categories which (...)
    Direct download (9 more)  
    Export citation  
    Bookmark   9 citations  
  6. Tools for the Advancement of Objective Logic: Closed Categories and Toposes.F. William Lawvere - 1994 - In John Macnamara & Gonzalo E. Reyes (eds.), The Logical Foundations of Cognition. Oxford University Press USA. pp. 43-56.
    No categories
    Export citation  
    Bookmark   5 citations  
  7.  17
    Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
  8. Toposes, Algebraic Geometry and Logic.Ionel Bucur & F. W. Lawvere - 1972
    Export citation  
    Bookmark   2 citations  
  9.  5
    Model Theory and Topai.F. William Lawvere & C. Maurer - 1981 - Journal of Symbolic Logic 46 (1):158-161.