Effect Algebras as Omega-categories. - Lorenzo Perticone; Robin Adams (CoRR, 2023)