Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Applied Category Theory in Chemistry, Computing, and Social Networks [pdf]. Parent comment
"Each of the steps is fairly compelling, except perhaps the second one, which rests on the Yoneda Lemma"
see "Kan Extensions for Program Optimisation"
https://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf
There are no comments on this comment yet.
"Each of the steps is fairly compelling, except perhaps the second one, which rests on the Yoneda Lemma"
see "Kan Extensions for Program Optimisation"
https://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf