Categorical pairs and the indicative shift (Q440655): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q175594 |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Louis H. Kauffman / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963450714 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1102.2048 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knot Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SPACE AND TIME IN COMPUTATION AND DISCRETE PHYSICS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Virtual logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4797606 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4660473 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5477415 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: EigenForm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4367588 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3372925 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3159161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003735 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5663820 / rank | |||
Normal rank |
Latest revision as of 14:26, 5 July 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