From b3e8631f6f82efe1d762f6916e3176b941a5a431 Mon Sep 17 00:00:00 2001 From: Philip Kaludercic <philip.kaludercic@fau.de> Date: Fri, 22 Mar 2024 14:50:51 +0100 Subject: [PATCH] Improve typesetting in the digraph example --- background.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/background.tex b/background.tex index 3a88efc..6daed4e 100644 --- a/background.tex +++ b/background.tex @@ -118,8 +118,9 @@ \href{https://en.wikipedia.org/wiki/Strongly_connected_component}{strongly connected components}, i.e.\ \[ \forall a, b \in V(X) \st a \sim_{E(\mathfrak{A})} b \implies f(a) - \sim_{E(\mathfrak{B})} f(b),\] where \(x \sim_{E{\mathfrak{G}}} y\) says that - there is a path from \(x\) to \(y\) in the digraph \(\mathfrak{G}\). + \sim_{E(\mathfrak{B})} f(b),\] where \(x \sim_{E(\mathfrak{G})} y\) says that + there is a path from \(x\) to \(y\) in the digraph \(\mathfrak{G}\), + over the transitive-reflexive closure of edges. The \defn{initial}{initial object} are therefore the empty graph \(V = \{\}\), since there are no components to be preserved, and the -- GitLab