Mathematics – Category Theory
Scientific paper
2011-02-10
Mathematics
Category Theory
LaTeX document, 34 pages, two figures
Scientific paper
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.
No associations
LandOfFree
Categorical Pairs and the Indicative Shift does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Categorical Pairs and the Indicative Shift, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Categorical Pairs and the Indicative Shift will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-694225