From c0e2d19e7de9de56e9c5fba5fe8dc08a8557acca Mon Sep 17 00:00:00 2001
From: Florian Guthmann <florian.guthmann@fau.de>
Date: Sun, 7 Apr 2024 18:46:00 +0200
Subject: [PATCH] Fix typo in bisimulation definition
---
coalgebra.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/coalgebra.tex b/coalgebra.tex
index 8ed6057..c8c9602 100644
--- a/coalgebra.tex
+++ b/coalgebra.tex
@@ -45,7 +45,7 @@
For a \de{endofunctor} \(F : \map{\Set}{\Set}\) and two \fca{}
\((C, c)\), \((D, d)\), are \emph{behaviourally equivalent} for
\(C \ni x \sim y \in D\) if
- \[ \exists h, k \st (C, c) \xrightarrow{h} (E, d) \xleftarrow{k} (D,
+ \[ \exists h, k \st (C, c) \xrightarrow{h} (E, e) \xleftarrow{k} (D,
d), \] for some \((E, e)\).
\end{definition}
--
GitLab