Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Gonzalo E. Reyes (1977)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “The internal and external aspect of logic and set theory in elementary topoi”
Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Lawvere's elementary theories and polyadic and cylindric algebras
Aubert Daigenault (1970)
Fundamenta Mathematicae
Similarity:
Exploring the gap between linear and classical logic.
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Upsetting the foundations for mathematics
Lawrence Neff Stout (2005)
Philosophia Scientiae
Similarity:
Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.
Words, free algebras, and coequalizers
Andreas Blass (1983)
Fundamenta Mathematicae
Similarity:
Bicategories of partial maps
A. Carboni (1987)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Saharon Shelah (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Coherent euclidean geometry
Rosanna Succi Cruciani (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: