Conceptual mathematics : a first introduction to categories

This is an introduction to thinking about elementary mathematics from a categorial point of view. The goal is to explore the consequences of a new and fundamental insight about the nature of mathematics. 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