Effect Algebras as Omega-categories

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 embedding $\mathbf{E}\mathbf{A}\to \mathbf{C}\mathbf{a}\mathbf{t}$. The interval $[x,y]$ proves to be an effect algebra in its own right, so $\mathcal{X}$ is an $\mathbf{E}\mathbf{A}$-enriched category. The construction can therefore be repeated, meaning that every effect algebra can be identified with a strict $\omega$-category. We describe explicitly the strict $\omega$-category structure for two classes of operators on a Hilbert space.