The idea of a "category"--a sort of mathematical universe--has brought about a remarkable unification and simplification of mathematics. Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

### Contents

Please read this; Note to the reader; Acknowledgements; 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; Index.

### Review

"Conceptual Mathematics provides an excellent introductory account to categories for those who are starting from scratch. It treats material which will appear simple and familiar to many philosophers, but in an unfamiliar way." Studies in History and Philosophy of Modern Physics