Also checkout Steve Awodey's Category Theory book.
https://global.oup.com/academic/product/category-theory-9780...
On a personal note, I remember Awodey from my Senior Thesis seminar. He was very amicable and affable. During my presentation, I remember having to demonstrate Cantor's diagonalisation argument. Luckily for me it was one of the things I spent a good amount of time studying. Had a great time there.