Foundations of geometry different sets of axioms for Euclidean geometry, any of these can replace the Euclidean parallel postulate. The following partial list indicates some of these theorems that are of historical interest. Absolute geometry is a geometry based on an axiom system consisting of all the axioms giving Euclidean geometry except for the parallel postulate or any of its alternatives. The term was introduced by János Bolyai in 1832. It is sometimes referred to as neutral geometry, as it is neutral with respect to the parallel postulate. In Euclid's "Elements", the first 28 propositions and Proposition I.31 avoid using the parallel postulate,
Categories for the Working Mathematician Categories for the Working Mathematician Categories for the Working Mathematician (CWM) is a textbook in category theory written by American mathematician Saunders Mac Lane, who cofounded the subject together with Samuel Eilenberg. It was first published in 1971, and is based on his lectures on the subject given at the University of Chicago, the Australian National University, Bowdoin College, and Tulane University. It is widely regarded as the premier introduction to the subject. The book has twelve chapters, which are: Chapters XI and XII were added in the 1998 second edition, the first in view of its importance in string