A First Course in Category Theory