Mathematics, Form and Function is a survey of the whole of mathematics, including its origins and deep structure, by the American mathematician Saunders Mac Lane.