From 5307dee0a131b72e70521f5215126a6769c5d5b9 Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Fri, 22 Mar 2024 13:55:32 +0100
Subject: [PATCH] Clarify that self-duality is only up to iso

---
 background.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/background.tex b/background.tex
index 8d30cff..9550b00 100644
--- a/background.tex
+++ b/background.tex
@@ -199,8 +199,7 @@
   and defines \des{morphism} as arbitrary
   \(\Hom{\Rel}{X}{Y} \subseteq X \times Y\).
 
-  \(\Rel\) is \emph{self-dual}, since \(\op{\Rel}\) is the same as
-  \(\Rel\).
+  \(\Rel\) is \emph{self-dual}, since \(\op{\Rel} \cong \Rel\).
 \end{example}
 
 \begin{example}\label{ex:par}
-- 
GitLab