"Diagonal arguments and Cartesian closed categories (p.134 and ff. from Topoi collection)" - читать интересную книгу автора (Lawvere F.W.)