Effect Algebras as Omega-categories

Lorenzo Perticone, Robin Adams

We show how an effect algebra $\mathcal{X}$ can be regarded as a category, where the morphisms $x\to y$ are the elements $f$ such that $x\le f\le y$. This gives an emb…