Conceptual mathematics : a first introduction to categories /
F. William Lawvere, Stephen H. Schanuel.
- 2nd ed.
- Cambridge, UK ; New York : Cambridge University Press, 2009.
- xii, 390 p. : ill. ; 26 cm.
Includes bibliographical references and index.
Foreword; Note to the reader; Preview; Part I. The Category of Sets: 1. Sets, maps, composition; Part II. The Algebra of Composition: 2. Isomorphisms; Part III. Categories of Structured Sets: 3. Examples of categories; Part IV. Elementary Universal Mapping Properties: 4. Universal mapping properties; Part V. Higher Universal Mapping Properties: 5. Map objects; 6. The contravariant parts functor; 7. The components functor; Appendix 1. Geometry of figures and algebra of functions; Appendix 2. Adjoint functors; Appendix 3. The emergence of category theory within mathematics; Appendix 4. Annotated bibliography.