Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begin{tikzpicture}[x=1cm,y=1cm,>=Latex,font=\sffamily\small,line cap=round,line join=round]
2 \node[] at (0.67000,4.35000) {$A$};
3 \draw[fill=black!12,draw=black!40,line width=.35pt,] (0.00000,3.13000) rectangle ++(0.67000,0.67000);
4 \node[] at (0.33500,3.46500) {$1$};
5 \draw[fill=black!12,draw=black!40,line width=.35pt,] (0.67000,3.13000) rectangle ++(0.67000,0.67000);
6 \node[] at (1.00500,3.46500) {$1$};
7 \draw[fill=black!0,draw=black!40,line width=.35pt,] (0.00000,2.46000) rectangle ++(0.67000,0.67000);
8 \node[] at (0.33500,2.79500) {$0$};
9 \draw[fill=black!12,draw=black!40,line width=.35pt,] (0.67000,2.46000) rectangle ++(0.67000,0.67000);
10 \node[] at (1.00500,2.79500) {$1$};
11 \node[] at (3.67000,4.35000) {$B$};
12 \draw[fill=black!12,draw=black!40,line width=.35pt,] (3.00000,3.13000) rectangle ++(0.67000,0.67000);
13 \node[] at (3.33500,3.46500) {$1$};
14 \draw[fill=black!0,draw=black!40,line width=.35pt,] (3.67000,3.13000) rectangle ++(0.67000,0.67000);
15 \node[] at (4.00500,3.46500) {$0$};
16 \draw[fill=black!12,draw=black!40,line width=.35pt,] (3.00000,2.46000) rectangle ++(0.67000,0.67000);
17 \node[] at (3.33500,2.79500) {$1$};
18 \draw[fill=black!12,draw=black!40,line width=.35pt,] (3.67000,2.46000) rectangle ++(0.67000,0.67000);
19 \node[] at (4.00500,2.79500) {$1$};
20 \node[] at (6.67000,4.35000) {$H=BA$};
21 \draw[fill=black!12,draw=black!40,line width=.35pt,] (6.00000,3.13000) rectangle ++(0.67000,0.67000);
22 \node[] at (6.33500,3.46500) {$1$};
23 \draw[fill=black!12,draw=black!40,line width=.35pt,] (6.67000,3.13000) rectangle ++(0.67000,0.67000);
24 \node[] at (7.00500,3.46500) {$1$};
25 \draw[fill=black!12,draw=black!40,line width=.35pt,] (6.00000,2.46000) rectangle ++(0.67000,0.67000);
26 \node[] at (6.33500,2.79500) {$1$};
27 \draw[fill=black!12,draw=black!40,line width=.35pt,] (6.67000,2.46000) rectangle ++(0.67000,0.67000);
28 \node[] at (7.00500,2.79500) {$2$};
29 \node[] at (9.67000,4.35000) {$H-I$};
30 \draw[fill=black!0,draw=black!40,line width=.35pt,] (9.00000,3.13000) rectangle ++(0.67000,0.67000);
31 \node[] at (9.33500,3.46500) {$0$};
32 \draw[fill=black!12,draw=black!40,line width=.35pt,] (9.67000,3.13000) rectangle ++(0.67000,0.67000);
33 \node[] at (10.00500,3.46500) {$1$};
34 \draw[fill=black!12,draw=black!40,line width=.35pt,] (9.00000,2.46000) rectangle ++(0.67000,0.67000);
35 \node[] at (9.33500,2.79500) {$1$};
36 \draw[fill=black!12,draw=black!40,line width=.35pt,] (9.67000,2.46000) rectangle ++(0.67000,0.67000);
37 \node[] at (10.00500,2.79500) {$1$};
38 \node[] at (5.10000,1.60000) {$e_0=(1,0)\ \mapsto\ (1,0)\ \mapsto\ (1,1)\ \mapsto\ (1,1)$};
39 \node[] at (5.10000,0.75000) {$P_1(H-I)e_0=e_1\ne0$};
40 \draw[black!30] (0.00000,0.05000) -- (11.00000,0.05000);
41 \node[] at (5.10000,-0.60000) {replace direct edge $C=I$ by $C=BA$: then $C^{-1}BA=I$};
42 \end{tikzpicture}

Back to source controls

Back to Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory