Conceptual Mathematics:A First Introduction to Categories