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

pc sync

Browse Source
This commit is contained in:
Sergey Goncharov 2026-05-23 00:53:58 +01:00
parent cb38aab263
commit 6158afc09a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ACV-abstract-2026/sym-sim.tex
View File

@ -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}
%