Update 01-intro.tex

01-intro.tex

@@ -23,8 +23,8 @@
   is any pointed morphism, then there exists a unique morphism $c$ making the
   following diagram commutative,
   \[
-    \begin{tikzcd}[column sep=2.4cm]
+    \begin{tikzcd}
-      X \ar[r, "a"'] \ar[rr, "s", bend left=10] & A \ar[r, "∃!c"'] & S.
+      X \ar[r, "a"'] \ar[rr, "s", bend left=20] & A \ar[r, "∃!c"'] & S.
     \end{tikzcd}
   \]
 \end{defn}