"Sheaves in Geometry and Logic: A First Introduction to Topos Theory" von Ieke Moerdijk und Saunders Mac Lane ist ein einführendes Lehrbuch, das sich mit der Theorie der Topoi beschäftigt, einem Konzept aus der Kategorientheorie. Das...