Also checkout Steve Awodey's Category Theory book. https://global.oup.com/academic/product/category-theory-9780199237180?cc=us&lang=en& https://global.oup.com/

Also checkout Steve Awodey's Category Theory book. https://global.oup.com/academic/product/category-theory-9780199237180?cc=us&lang=en& 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.