Cantor diagrams: a unifying discussion of self-reference (Q1404250)

The authors attempt to present a unified description of the various `diagonal arguments' occurring in the foundations of mathematics, in terms of a particular type of non-commutative diagram in a cartesian closed category. Unfortunately, the paper is not well written: the authors are evidently non-believers in the existence of the empty set (see their definition of `shift arrow'), but on the other hand they do believe in the existence of a cartesian closed category of arbitrary sets and computable total functions between them, without ever attempting to explain what they mean by `computable' in this context. Nevertheless, there are some interesting ideas to be teased out of the paper by anyone with sufficient perseverance to work out what the authors are trying to say.