Diagonal arguments and Cartesian closed categories (with author commentary)

MaRDI QIDQ3372925zbMATH OpenFDO

Authors F. William Lawvere

Publication date 10 March 2006

Full work available at URL http://www.emis.de/journals/TAC/reprints/articles/15/tr15abs.html

zbMATH Keywords

diagonal argumentGödel's incompleteness theorem

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) History of category theory (18-03)

Recommendations

• Cantor diagrams: a unifying discussion of self-reference
• scientific article; zbMATH DE number 3884140
• Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
• Categorical pairs and the indicative shift
• scientific article; zbMATH DE number 724811

Cited in

(9)

• Why categories?
• Cantor diagrams: a unifying discussion of self-reference
• On the failure of fixed-point theorems for chain-complete lattices in the effective topos
• Feferman's forays into the foundations of category theory
• Categorical pairs and the indicative shift
• Metric spaces in synthetic topology
• Logic in category theory
• On the semantics of intensionality
• DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM

This page was built for publication: Diagonal arguments and Cartesian closed categories (with author commentary)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3372925)