images

Unnamed repository; edit this file 'description' to name the repository.

• Log
• Files
• Refs
• README
• LICENSE

commit f758de9840214b17e76ddbaaaf0a848e23919f5b
parent 174528a4ed476443a7ad81d5757b7ffde65bc500
Author: Pablo <pablo-escobar@riseup.net>
Date:   Sun, 26 Sep 2021 22:09:45 +0000

Updated the notation of projective systems

Diffstat:
M
projective-system-universal-property.tikz
 | 
2
+-
M
projective-system.tikz
 | 
6
+++---

2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/projective-system-universal-property.tikz b/projective-system-universal-property.tikz
@@ -19,7 +19,7 @@
   \draw[dotted, ->] (m-1-2) -- node[right]{$\theta$} (m-2-2);
 
   % The arrow from the projective system
-  \draw[->] (m-3-3) -- node[below]{$\phi_{i, j}$} (m-3-1);
+  \draw[->] (m-3-3) -- node[below]{$\phi_{i j}$} (m-3-1);
 
   % The arrows from the compatible family of morphisms
   \draw[->] (m-1-2) 
diff --git a/projective-system.tikz b/projective-system.tikz
@@ -8,8 +8,8 @@
     X_i \&     \& X_k \\};
 
   % The arrows
-  \draw[->] (m-2-3) -- node[below]{$\phi_{i, k}$} (m-2-1);
-  \draw[->] (m-1-2) -- node[above left]{$\phi_{i, j}$} (m-2-1);
-  \draw[->] (m-2-3) -- node[above right]{$\phi_{j, k}$} (m-1-2);
+  \draw[->] (m-2-3) -- node[below]{$\phi_{i k}$} (m-2-1);
+  \draw[->] (m-1-2) -- node[above left]{$\phi_{i j}$} (m-2-1);
+  \draw[->] (m-2-3) -- node[above right]{$\phi_{j k}$} (m-1-2);
 \end{tikzpicture}