Saunders MacLane

Saunders Mac Lane

This book is intended to describe the practical and conceptual origins of Mathematics and the character of its development - not in historical terms, but in intrinsic terms.

Mathematics Form and Function

Ieke Moerdijk

Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.

A First Introduction to Topos Theory

Sheaves in Geometry and Logic

Garrett Birkhoff

Garrett D. Birkhoff

An introductory algebra text covering commutative, non-commutative, and Boolean algebra and the lattice and Galois theories

A Survey of Modern Algebra

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general ized monoid. Chapters VI and VII explore this notion and its generaliza tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure (given by a tensor product) lead inter alia to the study of more convenient categories of topological spaces.

Categories for the Working Mathematician

In presenting this treatment of homological algebra, it is a pleasure to acknowledge the help and encouragement which I have had from all sides. Homological algebra arose from many sources in algebra and topology. Decisive examples came from the study of group extensions and their factor sets, a subject I learned in joint work with OTTO SCHIL LING. A further development of homological ideas, with a view to their topological applications, came in my long collaboration with SAMUEL ElLENBERG; to both collaborators, especial thanks. For many years the Air Force Office of Scientific Research supported my research projects on various subjects now summarized here; it is a pleasure to acknowledge their lively understanding of basic science. Both REINHOLD BAER and JOSEF SCHMID read and commented on my entire manuscript; their advice has led to many improvements. ANDERS KOCK and JACQUES RIGUET have read the entire galley proof and caught many slips and obscurities. Among the others whose sug gestions have served me well, I note FRANK ADAMS, LOUIS AUSLANDER, WILFRED COCKCROFT, ALBRECHT DOLD, GEOFFREY HORROCKS, FRIED RICH KASCH, JOHANN LEICHT, ARUNAS LIULEVICIUS, JOHN MOORE, DIE TER PUPPE, JOSEPH YAO, and a number of my current students at the University of Chicago - not to m~ntion the auditors of my lectures at Chicago, Heidelberg, Bonn, Frankfurt, and Aarhus. My wife, DOROTHY, has cheerfully typed more versions of more chapters than she would like to count. Messrs.

Saunders MacLane

Books

Your next favorite book is out there