From 79879548465f7205b52d68bc61473056a277060c Mon Sep 17 00:00:00 2001 From: partowp Date: Tue, 5 May 2026 21:16:06 +0100 Subject: [PATCH] more --- draft/draft.tex | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/draft/draft.tex b/draft/draft.tex index f6e9e5a..bc8d70a 100644 --- a/draft/draft.tex +++ b/draft/draft.tex @@ -2187,10 +2187,11 @@ Egli-Milner relator is not sound or complete, although its symmetrization is sou &\iff S\;(\powf g)^\op\comp\powf f\;T \end{align*}\qed \end{proof} +For every relation $r\rto X\to Y$ $\emre r=\subseteq\;\emre r=\emre r\;\subseteq=\subseteq;\emre r;\subseteq$. +%\begin{prop} +% Assuming that $r\c X\rto Y$, then $\subseteq;\hat{\emre}r;\subseteq=\subseteq;\hat{\emre}r$ and $\subseteq;\hat{\emre}r=\hat{\emre}r;\subseteq$. +%\end{prop} -\begin{prop} - Assuming that $r\c X\rto Y$, then $\subseteq;\hat{\emre};\subseteq=\subseteq;\hat{\emre}$ and $\subseteq;\hat{\emre}=\hat{\emre};\subseteq$. -\end{prop} Barr relator is a generalization of the Egli-Milner relator, where the functor is generalized.