From 888e33f55d3bf80247a309aa9323be9b791b7dd5 Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Wed, 10 Apr 2024 16:04:52 +0200
Subject: [PATCH] Use a more consistent notation in the bisimulation sketch

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

diff --git a/sketches.tex b/sketches.tex
index 4db8d03..9c22580 100644
--- a/sketches.tex
+++ b/sketches.tex
@@ -332,8 +332,8 @@
   \((C, c) \xleftarrow{\outm{1}} (R, r) \xrightarrow{\outm{2}} (D,
   d)\) we can construct a \de{pullback}
   \(\mathsf{Pb}(\outm{1}, \outm{2}) = (P, p)\).  In \(\Set\) this
-  exist necessarily, meaning that the \des{morphism}
-  \((C, c) \xrightarrow{q_1} (P, p) \xleftarrow{p_2} (D, d)\) provide
+  exist necessarily, meaning that the cone \des{morphism}
+  \((C, c) \xrightarrow{p_1} (P, p) \xleftarrow{p_2} (D, d)\) provide
   the intended \defn{beheqiv}{behavioural equivalence}.
 \end{proof}
 
-- 
GitLab