Lawvere's original 1969 formulation of the fixed-point theorem was explicitly categorical, relying o...