우연히 보니까 이론 CS를 위해 카테고리를 소개하는 책이 있네

그리고 카테고리 이론이 수학 내에서는 주로 어디어디 쓰임?