https://www.goodreads.com/book/show/2047855.Category_Theory
It's a mathematics book written by a philosophy professor that is extremely readable for computer scientists. Very CMU, much wow, such deduction.