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