Fix typo

the1lab · Nov 12, 2024 · f4f464c · f4f464c
1 parent 6032c6b
commit f4f464c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/1Lab/Path.lagda.md b/src/1Lab/Path.lagda.md
@@ -1503,9 +1503,9 @@ for the single composition, whose type we read as saying that $\refl
 
 ~~~{.quiver}
 \[\begin{tikzcd}
-  x && y \\
+  x && x \\
   & {\bullet\text{-filler}~ p~ q}      \\
-  x && z
+  y && z
   \arrow["{\refl}", from=1-1, to=1-3]
   \arrow["{p}"', from=1-1, to=3-1]
   \arrow["{p \bullet q}", dashed, from=1-3, to=3-3]