Lawvere's fixed point theorem in nLab

ncatlab.org

A mathematical reference explaining Lawvere’s fixed-point theorem and related concepts.