A First Course in Category Theory (Universitext)