Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
category of chain complete posets with continuous morphisms
scientific article; zbMATH DE number 3855102