An Introduction to the Language of Category Theory - Steven Roman (Springer, 2017)