In mathematics, Lawvere's fixed-point theorem is an important result in category theory.[1] It is a broad abstract generalization of many diagonal arguments in mathematics and logic, such as Cantor's diagonal argument, Russell's paradox, Gödel's first incompleteness theorem and Turing's solution to the Entscheidungsproblem.[2]
It was first proven by William Lawvere in 1969.[3][4]