From 14da4f7ada3731a7a0b8ba28eb9137093a47a613 Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Wed, 5 Jun 2024 15:17:20 +0200
Subject: [PATCH] Update 01-intro.tex

---
 01-intro.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/01-intro.tex b/01-intro.tex
index b335bd0..450e3c5 100644
--- a/01-intro.tex
+++ b/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]
-      X \ar[r, "a"'] \ar[rr, "s", bend left=10] & A \ar[r, "∃!c"'] & S.
+    \begin{tikzcd}
+      X \ar[r, "a"'] \ar[rr, "s", bend left=20] & A \ar[r, "∃!c"'] & S.
     \end{tikzcd}
   \]
 \end{defn}