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

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 http://brendanfong.com/programmingcats.html