Changes

& \quad &

& \quad &

\operatorname{d}p ~\operatorname{or}~ \operatorname{d}q

\operatorname{d}p ~\operatorname{or}~ \operatorname{d}q

\end{matrix}</math>

\end{matrix}\!</math>

|}

|}

<math>\begin{array}{rcc}

<math>\begin{array}{rcc}

\operatorname{E}X & = & X \times \operatorname{d}X

\operatorname{E}X & = & X \times \operatorname{d}X

\end{array}</math>

\end{array}\!</math>

|}

|}

& = &

& = &

\{ \texttt{(} \operatorname{d}q \texttt{)},~ \operatorname{d}q \}

\{ \texttt{(} \operatorname{d}q \texttt{)},~ \operatorname{d}q \}

\end{array}</math>

\end{array}\!</math>

|}

|}

The interpretations of these new symbols can be diverse, but the easiest

The interpretations of these new symbols can be diverse, but the easiest option for now is just to say that <math>\operatorname{d}p\!</math> means "change <math>p\!</math>" and <math>\operatorname{d}q</math> means "change <math>q\!</math>".

option for now is just to say that <math>\operatorname{d}p</math> means "change <math>p\!</math>" and <math>\operatorname{d}q</math> means "change <math>q\!</math>".

Drawing a venn diagram for the differential extension <math>\operatorname{E}X = X \times \operatorname{d}X</math> requires four logical dimensions, <math>P, Q, \operatorname{d}P, \operatorname{d}Q,</math> but it is possible to project a suggestion of what the differential features <math>\operatorname{d}p</math> and <math>\operatorname{d}q</math> are about on the 2-dimensional base space <math>X = P \times Q</math> by drawing arrows that cross the boundaries of the basic circles in the venn diagram for <math>X\!,</math> reading an arrow as <math>\operatorname{d}p</math> if it crosses the boundary between <math>p\!</math> and <math>\texttt{(} p \texttt{)}</math> in either direction and reading an arrow as <math>\operatorname{d}q</math> if it crosses the boundary between <math>q\!</math> and <math>\texttt{(} q \texttt{)}</math> in either direction.

Drawing a venn diagram for the differential extension <math>\operatorname{E}X = X \times \operatorname{d}X</math> requires four logical dimensions, <math>P, Q, \operatorname{d}P, \operatorname{d}Q,</math> but it is possible to project a suggestion of what the differential features <math>\operatorname{d}p</math> and <math>\operatorname{d}q</math> are about on the 2-dimensional base space <math>X = P \times Q</math> by drawing arrows that cross the boundaries of the basic circles in the venn diagram for <math>X\!,</math> reading an arrow as <math>\operatorname{d}p</math> if it crosses the boundary between <math>p\!</math> and <math>\texttt{(} p \texttt{)}</math> in either direction and reading an arrow as <math>\operatorname{d}q</math> if it crosses the boundary between <math>q\!</math> and <math>\texttt{(} q \texttt{)}</math> in either direction.

(p)~q~

(p)~q~

\\[4pt]

\\[4pt]

(p)~~~

(p)[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]])

\\[4pt]

\\[4pt]

~p~(q)

~p~(q)

\\[4pt]

\\[4pt]

~~~(q)

[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]])(q)

\\[4pt]

\\[4pt]

(p,~q)

(p,~q)

((p,~q))

((p,~q))

\\[4pt]

\\[4pt]

~~~~~q~~

17:54, 5 December 2014 (UTC)q~~

\\[4pt]

\\[4pt]

~(p~(q))

~(p~(q))

\\[4pt]

\\[4pt]

~~p~~~~~

~~p17:54, 5 December 2014 (UTC)

\\[4pt]

\\[4pt]

((p)~q)~

((p)~q)~

|}

|}

For example, given the set <math>X = \{ a, b, c \},\!</math> suppose that we have the 2-adic relative term <math>\mathit{m} = {}^{\backprime\backprime}\, \text{marker for}\, \underline{~~~~}\, {}^{\prime\prime}</math> and

For example, given the set <math>X = \{ a, b, c \},\!</math> suppose that we have the 2-adic relative term <math>\mathit{m} = {}^{\backprime\backprime}\, \text{marker for}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 17:54, 5 December 2014 (UTC)}\, {}^{\prime\prime}</math> and

the associated 2-adic relation <math>M \subseteq X \times X,</math> the general pattern of whose common structure is represented by the following matrix:

the associated 2-adic relation <math>M \subseteq X \times X,</math> the general pattern of whose common structure is represented by the following matrix:

|}

|}

Recognizing that <math>a\!:\!a + b\!:\!b + c\!:\!c</math> is the identity transformation otherwise known as <math>\mathit{1},\!</math> the 2-adic relative term <math>m = {}^{\backprime\backprime}\, \text{marker for}\, \underline{~~~~}\, {}^{\prime\prime}</math> can be parsed as an element <math>\mathit{1} + a\!:\!b + b\!:\!c + c\!:\!a</math> of the so-called ''group ring'', all of which makes this element just a special sort of linear transformation.

Recognizing that <math>a\!:\!a + b\!:\!b + c\!:\!c</math> is the identity transformation otherwise known as <math>\mathit{1},\!</math> the 2-adic relative term <math>m = {}^{\backprime\backprime}\, \text{marker for}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 17:54, 5 December 2014 (UTC)}\, {}^{\prime\prime}</math> can be parsed as an element <math>\mathit{1} + a\!:\!b + b\!:\!c + c\!:\!a</math> of the so-called ''group ring'', all of which makes this element just a special sort of linear transformation.

Up to this point, we are still reading the elementary relatives of the form <math>i\!:\!j</math> in the way that Peirce read them in logical contexts:  <math>i\!</math> is the relate, <math>j\!</math> is the correlate, and in our current example <math>i\!:\!j,</math> or more exactly, <math>m_{ij} = 1,\!</math> is taken to say that <math>i\!</math> is a marker for <math>j.\!</math>  This is the mode of reading that we call "multiplying on the left".

Up to this point, we are still reading the elementary relatives of the form <math>i\!:\!j</math> in the way that Peirce read them in logical contexts:  <math>i\!</math> is the relate, <math>j\!</math> is the correlate, and in our current example <math>i\!:\!j,</math> or more exactly, <math>m_{ij} = 1,\!</math> is taken to say that <math>i\!</math> is a marker for <math>j.\!</math>  This is the mode of reading that we call "multiplying on the left".