An Introduction to the Language of Category Theory