Category theory

Steve Awodey
Oxford University Press
9780198568612
0-19-856861-4