Sketches of an elephant

Sketches of an Elephant

Peter T. Johnstone

2002

Toposes and local set theories

John L. Bell

1988

Topoi

Robert Goldblatt

1979

Topos theory

P. T. Johnstone

1977

Sheaves in geometry and logic

Saunders Mac Lane

1992

Toposes, triples, and theories

Michael Barr

1985

Elementary categories, elementary toposes

Colin McLarty

1992

Duality and definability in first order logic

Michael Makkai

1993