1-24 of 37 Books

Sheaves in geometry and logic
By Saunders Mac Lane,Saunders MacLane,Ieke Moerdijk

Elementary categories, elementary toposes
By Colin McLarty

Duality and definability in first order logic
By Michael Makkai,Mihály Makkai

Proper maps of toposes
By Ieke Moerdijk,J. J. Vermeulen

Axiomization of passage from "local" structure to "global" object
By Paul Feit

Lecture notes on topoi and quasitopoi
By Oswald Wyler

Toposes, algebraic geometry and logic
By Ionel Bucur,F. W. Lawvere
Sketches of an elephant
Sketches of an elephant
By P. T. Johnstone

Model theory and topoi
By F. W. Lawvere,Christian Maurer,Gavin C. Wraith

Freyd's models for the independence of the axiom of choice
By Andreas Blass

Théorie des topos et cohomologie étale des schemas
By Séminaire de Géometrie Algébrique du Bois-Marie (4th 1963-1964)

Théorie des topos et cohomologie étale des schémas
By Séminaire de Géometrie Algébrique du Bois-Marie (4th 1963-1964)
Relative category theory and geometric morphisms
Relative category theory and geometric morphisms
By Jonathan Chapman
An extension of the Galois theory of Grothendieck
An extension of the Galois theory of Grothendieck
By André Joyal

Classifying spaces andclassifying topoi
By Ieke Moerdijk

Classifying spaces and classifying topoi
By Ieke Moerdijk