08_marked.tex
Komorebi Space
08_marked.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm]
2 \node[box] (x) at (-5,2) {$x$};\node[box] (y) at (-1.9,2) {$y$};
3 \node[box] (rx) at (-5,0) {$Rx$};\node[box] (ry) at (-1.9,0) {$Ry$};
4 \node[box] (b) at (-3.45,-2) {$b$};
5 \draw[arr](x)--node[lab,above] {$a$}(y);
6 \draw[thinarr](x)--node[lab,left] {$R$}(rx);\draw[thinarr](y)--node[lab,right] {$R$}(ry);
7 \draw[arr](rx)--node[lab,above] {$R(a)$}(ry);
8 \draw[arr](rx)--node[lab,left] {$\phi$}(b);\draw[arr](ry)--node[lab,right] {$\psi$}(b);
9 \node[lab] at (-3.45,-3) {$\psi R(a)=\phi$};
10 \node[box] (cc) at (1.1,2) {$\mathcal C$};\node[box] (cp) at (5,2) {$\mathcal C'$};
11 \node[box] (dd) at (1.1,-.2) {$\mathcal D$};\node[box] (dp) at (5,-.2) {$\mathcal D'$};
12 \draw[arr](cc)--node[lab,above] {$E$}(cp);\draw[arr](dd)--node[lab,below] {$K$}(dp);
13 \draw[arr](cc)--node[lab,left] {$R$}(dd);\draw[arr](cp)--node[lab,right] {$R'$}(dp);
14 \node[lab] at (3.05,.9) {$KR\cong R'E$};
15 \node[lab,text width=5.8cm] at (3.05,-2) {An isomorphism fills the square.\\The marked fiber is transported.};
16 \end{tikzpicture}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: e6945205ed21205060a21487f5b8c4ba7d6ba966e72a4824f6d3961a24aef4c2