Conceptual Mathematics: A First Introduction to Categories