Categorical pairs and the indicative shift (Q440655): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:16, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categorical pairs and the indicative shift |
scientific article |
Statements
Categorical pairs and the indicative shift (English)
0 references
19 August 2012
0 references
The purpose of this paper is to introduce a category-theoretic pattern that complements the \textit{F. W. Lawvere} fixed-point theorem [Repr. Theory Appl. Categ. 2006, No. 15, 1--13 (2006; Zbl 1089.18004); Category Theory Homology Theory Appl., Proc. Conf. Seattle Res. Center Battelle Mem. Inst. 1968, 2, 134--145 (1969; Zbl 0218.18002)]. The author produces a construction for indirect self-reference that applies directly both to situations in ordinary languages and to Gödel's incompleteness theorem [\textit{K. Gödel}, Monatsh. Math. Phys. 38, 173--198 (1931; Zbl 0002.00101; JFM 57.0054.02)]. The paper is in the lines of the author's ones [Kybernetes 34, No. 1--2, 129--150 (2005; Zbl 1073.03003); Syst. Res. 13, No. 3, 293--310 (1996; Zbl 0860.03007); Ser. Knots Everything 6, 1--110 (1995; Zbl 1149.03301)].
0 references
category
0 references
categorical pair
0 references
\(2\)-category
0 references
indicative shift
0 references
self-reference
0 references
Lawvere's fixed-point theorem
0 references
Gödel's incompleteness theorem
0 references