For a professional category theorist interested in theoretical computer science? The thing is, they could easily just dive into reading some papers on the subje

For a professional category theorist interested in theoretical computer science? The thing is, they could easily just dive into reading some papers on the subject. The intuition and mechanical skill of category theory is easily adapted to thinking about computation. Here are some relatively introductory treatments of some parts of CS in category theory: Introduction to Higher-Order Categorical Logic - Lambek and Scott Categorical Logic from a categorical point of view - Mike Shulman [0] Classical Lambda Calculus in Modern Dress - Martin Hyland [1] Computer Science page on the nlab - great place to get lost [2] [0] http://mikeshulman.github.io/catlog/catlog.pdf http://mikeshulman.github.io/catlog/catlog.pdf [1] https://arxiv.org/abs/1211.5762 https://arxiv.org/abs/1211.5762 [2] https://ncatlab.org/nlab/show/computer+science https://ncatlab.org/nlab/show/computer+science