Changes

\end{matrix}</math>

\end{matrix}</math>

We may now use the features in <math>\operatorname{d}\mathcal{X} = \{ \operatorname{d}x_i \} = \{ \operatorname{d}x_1, \ldots, \operatorname{d}x_n \}</math> to classify the paths of <math>(\mathbb{B} \to X)</math> by way of the pairs in <math>X^2.\!</math>  If ''X'' <math>\cong</math> '''B'''^''n'' then a path in ''X'' has the form ''q'' : ('''B''' &rarr; '''B'''^''n'') <math>\cong</math> '''B'''^''n'' &times; '''B'''^''n'' <math>\cong</math> '''B'''^2''n'' <math>\cong</math> ('''B'''²)^''n''. Intuitively, we want to map this ('''B'''²)^''n'' onto ''D''^''n'' by mapping each component '''B'''² onto a copy of '''D'''.  But in our current situation "'''D'''" is just a name we give, or an accidental quality we attribute, to coefficient values in '''B''' when they are attached to features in d<font face="lucida calligraphy">X</font>.

We may now use the features in <math>\operatorname{d}\mathcal{X} = \{ \operatorname{d}x_i \} = \{ \operatorname{d}x_1, \ldots, \operatorname{d}x_n \}</math> to classify the paths of <math>(\mathbb{B} \to X)</math> by way of the pairs in <math>X^2.\!</math>  If <math>X \cong \mathbb{B}^n,</math> then a path <math>q\!</math> in <math>X\!</math> has the following form:

 

q : (\mathbb{B} \to \mathbb{B}^n) & \cong & \mathbb{B}^n \times \mathbb{B}^n & \cong & \mathbb{B}^{2n} & \cong & (\mathbb{B}^2)^n.

\end{matrix}</math>   

 

Intuitively, we want to map this ('''B'''²)^''n'' onto ''D''^''n'' by mapping each component '''B'''² onto a copy of '''D'''.  But in our current situation "'''D'''" is just a name we give, or an accidental quality we attribute, to coefficient values in '''B''' when they are attached to features in d<font face="lucida calligraphy">X</font>.

Therefore, define d''x''_''i'' : ''X''² &rarr; '''B''' such that:

Therefore, define d''x''_''i'' : ''X''² &rarr; '''B''' such that: