Seven Sketches is a nice introductory read, giving examples of how CT may be used model practical problems and introducing concepts along the way.

"Programming with Categories" [0] is probably the best resource to start, the course notes are great and the videos are easy to follow.

Also yes, Awodey is much more in-depth and technical.

[0] http://brendanfong.com/programmingcats.html