Substructural fixed-point theorems and the diagonal argument: theme and variations

David Michael Roberts

This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that th…