08_marked.tex

Komorebi Space

08_marked.tex

Download original file

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

Read the typeset paper

Skip source text

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}

Back to source controls

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

Original source on GitHub

Back to Komorebi Space