Soloviev, S. (1996). Proof of a Conjecture of S. Mac Lane. BRICS Report Series, 3(61). https://doi.org/10.7146/brics.v3i61.18773