from Hacker News

Programs as Diagrams: From Categorical Computability to Computable Categories

by deltasepsilon on 11/6/23, 2:35 AM with 1 comments

• by deltasepsilon on 11/6/23, 2:35 AM

  I posted about a book that was recently published about categorical computability theory [1]. The author has a draft of the book available on the arXiv, which is what this submission is.

  As I said in my previous submission, I think this material is useful as a concrete, and from basic principles, introduction to category theory and its application to computation.

  [1] https://news.ycombinator.com/item?id=37996607