Bookmarks
an appendix to pearlofcivilization.net
https://jeremykun.com/main-content/
Computational Category Theory.