I don't want to edit paper. I don't want to apply to schools. I want to learn Lawvere's fixed point theorem
Unfortunately that is apparently category theory
http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf this makes me jared, 19
I may read this instead https://arxiv.org/pdf/math/0305282.pdf
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.