Skip to content
Snippets Groups Projects
Commit 5307dee0 authored by Philip Kaluđerčić's avatar Philip Kaluđerčić :u7121:
Browse files

Clarify that self-duality is only up to iso

parent d037936a
No related branches found
No related tags found
No related merge requests found
......@@ -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}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment