[0] https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem
[1] http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf
[2] https://arxiv.org/abs/math/0305282
[0] https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem
[1] http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf
[2] https://arxiv.org/abs/math/0305282