Categorical pairs and the indicative shift

DOI10.1016/J.AMC.2012.01.042zbMATH Open1261.18002arXiv1102.2048OpenAlexW2963450714MaRDI QIDQ440655FDOQ440655

Authors: Louis Kauffman 

Publication date: 19 August 2012

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagonal arguments and Cartesian closed categories (with author commentary)
• Knot Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• EigenForm
• Virtual logic
• Title not available (Why is that?)
• SPACE AND TIME IN COMPUTATION AND DISCRETE PHYSICS
• Fibonacci form and beyond
• Title not available (Why is that?)

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
• Title not available (Why is that?)

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)