pouya/coalgebraic-simulation
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

minor

Browse Source
This commit is contained in:
partowp 2026-05-05 23:45:00 +01:00
parent 7987954846
commit c2229c444c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
draft/draft.tex
View File

@ -2180,7 +2180,7 @@ Egli-Milner relator is not sound or complete, although its symmetrization is sou
\forall x\in S,\exists y\in T, f(x)=g(y),\\ \forall x\in S,\exists y\in T, f(x)=g(y),\\
\forall y\in T,\exists x\in S, f(x)=g(y). \forall y\in T,\exists x\in S, f(x)=g(y).
\end{gather*} \end{gather*}
Equivalently, $Im(f)=Im(g)$, and we call images $U$ that is in $\powf Z$. So, we equivalently have Equivalently, $Im(f\mid_S)=Im(g\mid_T)$, and we call images $U$ that is in $\powf Z$. So, we equivalently have
\begin{align*} \begin{align*}
S\;\powf f\;U,\; T\;\powf g\;U&\\ S\;\powf f\;U,\; T\;\powf g\;U&\\
&\iff S\;\powf f\;U,\; U\;(\powf g)^\op\;T\\ &\iff S\;\powf f\;U,\; U\;(\powf g)^\op\;T\\