Here's a write-up I did on deriving the Y combinator from Lawvere's fixed-point ...

		mkckto 7 days ago \| parent \| context \| favorite \| on: Baking the Y Combinator from Scratch Here's a write-up I did on deriving the Y combinator from Lawvere's fixed-point theorem: https://emarzion.github.io/Y-Comb/