Steve Awodey
Category theory foundations
Mac Lane and logical syntax
Category theory foundations
Part 1
Part 2
Part 3
Part 4