From 6158afc09a7991bd174df99cd08c704d75ec37f9 Mon Sep 17 00:00:00 2001
From: Sergey Goncharov <sergey@sergey-goncharov.org>
Date: Sat, 23 May 2026 00:53:58 +0100
Subject: [PATCH] pc sync

---
 ACV-abstract-2026/sym-sim.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ACV-abstract-2026/sym-sim.tex b/ACV-abstract-2026/sym-sim.tex
index b937b17..3675c5f 100644
--- a/ACV-abstract-2026/sym-sim.tex
+++ b/ACV-abstract-2026/sym-sim.tex
@@ -253,7 +253,7 @@ we consider four ways of relaxing Barr relators, to model simulation:
   \item\label{it:ll-barr} left-lax Barr relator $\appr\comp\bar{F}$ 
   \item\label{it:rl-barr} right-lax Barr relator $\bar{F}\comp\appr$  
   \item\label{it:bl-barr} bi-lax Barr relator $\appr\comp\bar{F}\comp\appr$ 
-  \item\label{it:ml-barr} mid-lax Barr relator $R\mapsto F\pi_2\comp\sappr\comp(F\pi_1)^\op$, by 
+  \item\label{it:ml-barr} mid-lax Barr relator $R\mapsto F\pi_2\comp\appr\comp(F\pi_1)^\op$, by 
   viewing $R$ as a span via projections $\pi_1\c R\to X$, $\pi_2\c R\to Y$.
 \end{enumerate}
 %