Modern pure mathematics explores abstract structures. These structures cluster in interrelated families which form structures of structures. And these higher level structures are in turn interconnected in intricate ways. How can we explore such layers of increasing abstraction without getting lost? Category theory provides a basic tool-kit, and it throws very revealing light on ideas which recur across mathematics. This is a book version of an earlier set of much-downloaded notes, and aims to give a gentle introduction to some core categorial concepts. It will provide very accessible preliminary reading for those who are later going to take a course on category theory. It will also be of interest to anyone who just wants to get an initial sense of what the categorial fuss is about, as the book presupposes little detailed mathematical background. The story continues in Category Theory More notes towards a gentle introduction .
Before he retired from the University of Cambridge, Peter Smith taught logic for more years than he cares to remember. His books include An Introduction to Formal Logic , An Introduction to Gödel’s Theorems , Gödel Without Tears and Beginning Mathematical A Study Guide . He was also editor of Analysis for a dozen years.
Language
English
Pages
244
Format
Paperback
Release
August 04, 2023
ISBN 13
9781916906372
Category Theory I: Notes towards a gentle introduction
Modern pure mathematics explores abstract structures. These structures cluster in interrelated families which form structures of structures. And these higher level structures are in turn interconnected in intricate ways. How can we explore such layers of increasing abstraction without getting lost? Category theory provides a basic tool-kit, and it throws very revealing light on ideas which recur across mathematics. This is a book version of an earlier set of much-downloaded notes, and aims to give a gentle introduction to some core categorial concepts. It will provide very accessible preliminary reading for those who are later going to take a course on category theory. It will also be of interest to anyone who just wants to get an initial sense of what the categorial fuss is about, as the book presupposes little detailed mathematical background. The story continues in Category Theory More notes towards a gentle introduction .
Before he retired from the University of Cambridge, Peter Smith taught logic for more years than he cares to remember. His books include An Introduction to Formal Logic , An Introduction to Gödel’s Theorems , Gödel Without Tears and Beginning Mathematical A Study Guide . He was also editor of Analysis for a dozen years.