[eindiran]

If you have a CS background and are looking to dig in to category theory a bit more, I would recommend checking out Benjamin Pierce's Basic Category Theory for Computer Scientists. It's a nice, concise introduction to the topic that examines a few very interesting applications to CS.

https://www.goodreads.com/book/show/1810837.Basic_Category_T...

[davehcker]

Right! I have still not finished it, but it's truly enchanting and exactly as you mentioned.