From 8f306095ee6bf07c5bb8953c971ea7f36b37f050 Mon Sep 17 00:00:00 2001 From: partowp Date: Thu, 11 Jun 2026 13:16:53 +0100 Subject: [PATCH] minor --- draft/draft.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/draft/draft.tex b/draft/draft.tex index 0810210..73ed9b4 100644 --- a/draft/draft.tex +++ b/draft/draft.tex @@ -2544,7 +2544,7 @@ The following example justifies why the $g$ in~\autoref{def:coliftable-ord} shou \end{align*}\qed \end{proof} \begin{cor} - Since the symmetrization of left-lax Barr relator is natural, and normal, it is a normal relational connector. So, it is a sound and complete relator. + Since the symmetrization of left-lax Barr relator that is laxed with a lifatble order structure is natural, and normal, it is a normal relational connector. So, it is a sound and complete relator. \end{cor} \begin{cor} By~\autoref{prop:all-rel-compa}.(1), if $\appr$ is liftable, then the mid-lax Barr relator is a normal relation connector, and thus a sound and complete relator as well.