Categorical pairs and the indicative shift

DOI10.1016/J.AMC.2012.01.042MaRDI QIDQ440655zbMATH OpenOpenAlexFDO

Authors Louis Kauffman

Publication date 19 August 2012

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1102.2048

zbMATH Keywords

category\(2\)-categorycategorical pairindicative shiftLawvere's fixed-point theoremself-referenceGödel's incompleteness theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General theory of categories and functors (18A99)

Abstract: This paper introduces the notion of a categorical pair, a pair of categories (C,C') such that every morphism in C is an object in C'. Categorical pairs are precursors to 2-categories. Arrows in C' can express relationships among the morphisms of C. In particular we show that by using a model of the linguistic process of naming, we can ensure that every morphism in C has an indirect self-reference of the form a -----> Fa where this arrow occurs in the category C'. This result is shown to generalize and clarify known fixed point theorems in logic and categories, and is applied to Goedel's Incompleteness Theorem, the Cantor Diagonal Process and the Lawvere Fixed Point Theorem. In particular we show that the indirect self-reference that is central to Goedel's Theorem is an instance of a general pattern here called the indicative shift.

Recommendations

• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
• Fixed points and self-reference
• Fixed point constructions
• scientific article; zbMATH DE number 664031

Cites work

• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 53543 (Why is no real title available?)
• scientific article; zbMATH DE number 1092354 (Why is no real title available?)
• scientific article; zbMATH DE number 2148937 (Why is no real title available?)
• scientific article; zbMATH DE number 1877250 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3395834 (Why is no real title available?)
• Diagonal arguments and Cartesian closed categories (with author commentary)
• EigenForm
• Fibonacci form and beyond
• Knot Logic
• SPACE AND TIME IN COMPUTATION AND DISCRETE PHYSICS
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Virtual logic

Cited in

(6)

• Substructural fixed-point theorems and the diagonal argument: theme and variations
• Diagonal arguments and Cartesian closed categories (with author commentary)
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• CATEGORICAL HARMONY AND PATH INDUCTION
• Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
• scientific article; zbMATH DE number 823597 (Why is no real title available?)

This page was built for publication: Categorical pairs and the indicative shift

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