Saunders Mac Lane, the knight of mathematics.
Separably Real Closed Local Rings.
Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Sheaves and local equivalence relations
Sheaves on a quantale
Skew -sets coincide with -posets
Sobre Una Definicion De Cardinales Finitos En Un Topos Arbitrario.
Solution manifolds for systems of differential equations.
Spectra of differential rings
Stable surjection logic
Stack completions and Morita equivalence for categories in a topos
Stacks and equivalence of indexed categories
Strong infinitesimal linearity, with applications to strong difference and affine connections
Structuration cognitive et logique intrinsèque
À travers l'étude d'un modèle de représentation des connaissances comme catégorie de faisceaux de traits localement définis ; ce texte montre que la théorie des topoï permet de décrire formellement l'émergence d'une logique intrinsèque à partir d'une approche relationnelle, qu'elle soit structurale ou cognitive. On peut alors caractériser mathématiquement le défaut d'intensionnalité des modèles classiques, et montrer qu'une solution est dans la mathématisation de structures entièrement relationnelles....
Structure des topologies d'un topos
Sur les modèles de la géométrie différentielle synthétique
Sur les quasi-topos
Sur quelques structures de base pour définir les structures