“Category Theory for Programmers” has been finished | Hacker News Reader