Tom Leinster's category theory book is a wonderful read .. boffosocko.com/2017/01/04/bas… .. @johncarlosbaez has some details here ..