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.