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.70000,3.65000) {$A$};
3 \draw[fill=black!12,draw=black!40,line width=.35pt,] (0.00000,2.40000) rectangle ++(0.70000,0.70000);
4 \node[] at (0.35000,2.75000) {$1$};
5 \draw[fill=black!12,draw=black!40,line width=.35pt,] (0.70000,2.40000) rectangle ++(0.70000,0.70000);
6 \node[] at (1.05000,2.75000) {$1$};
7 \draw[fill=black!0,draw=black!40,line width=.35pt,] (0.00000,1.70000) rectangle ++(0.70000,0.70000);
8 \node[] at (0.35000,2.05000) {$0$};
9 \draw[fill=black!12,draw=black!40,line width=.35pt,] (0.70000,1.70000) rectangle ++(0.70000,0.70000);
10 \node[] at (1.05000,2.05000) {$1$};
11 \node[] at (4.20000,3.65000) {$B$};
12 \draw[fill=black!12,draw=black!40,line width=.35pt,] (3.50000,2.40000) rectangle ++(0.70000,0.70000);
13 \node[] at (3.85000,2.75000) {$1$};
14 \draw[fill=black!0,draw=black!40,line width=.35pt,] (4.20000,2.40000) rectangle ++(0.70000,0.70000);
15 \node[] at (4.55000,2.75000) {$0$};
16 \draw[fill=black!12,draw=black!40,line width=.35pt,] (3.50000,1.70000) rectangle ++(0.70000,0.70000);
17 \node[] at (3.85000,2.05000) {$1$};
18 \draw[fill=black!12,draw=black!40,line width=.35pt,] (4.20000,1.70000) rectangle ++(0.70000,0.70000);
19 \node[] at (4.55000,2.05000) {$1$};
20 \node[] at (7.70000,3.65000) {$BA$};
21 \draw[fill=black!12,draw=black!40,line width=.35pt,] (7.00000,2.40000) rectangle ++(0.70000,0.70000);
22 \node[] at (7.35000,2.75000) {$1$};
23 \draw[fill=black!12,draw=black!40,line width=.35pt,] (7.70000,2.40000) rectangle ++(0.70000,0.70000);
24 \node[] at (8.05000,2.75000) {$1$};
25 \draw[fill=black!12,draw=black!40,line width=.35pt,] (7.00000,1.70000) rectangle ++(0.70000,0.70000);
26 \node[] at (7.35000,2.05000) {$1$};
27 \draw[fill=black!12,draw=black!40,line width=.35pt,] (7.70000,1.70000) rectangle ++(0.70000,0.70000);
28 \node[] at (8.05000,2.05000) {$2$};
29 \node[] at (11.20000,3.65000) {$AB$};
30 \draw[fill=black!12,draw=black!40,line width=.35pt,] (10.50000,2.40000) rectangle ++(0.70000,0.70000);
31 \node[] at (10.85000,2.75000) {$2$};
32 \draw[fill=black!12,draw=black!40,line width=.35pt,] (11.20000,2.40000) rectangle ++(0.70000,0.70000);
33 \node[] at (11.55000,2.75000) {$1$};
34 \draw[fill=black!12,draw=black!40,line width=.35pt,] (10.50000,1.70000) rectangle ++(0.70000,0.70000);
35 \node[] at (10.85000,2.05000) {$1$};
36 \draw[fill=black!12,draw=black!40,line width=.35pt,] (11.20000,1.70000) rectangle ++(0.70000,0.70000);
37 \node[] at (11.55000,2.05000) {$1$};
38 \draw[black!30] (9.55000,0.50000) -- (9.55000,4.00000);
39 \node[] at (6.00000,0.15000) {$e:0\to1\text{ carries }A;\quad f:1\to2\text{ carries }B$};
40 \node[] at (6.00000,-0.65000) {$BA(1,0)^{\mathsf T}=(1,1)^{\mathsf T},\qquad AB(1,0)^{\mathsf T}=(2,1)^{\mathsf T}$};
41 \end{tikzpicture}

Back to source controls

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