Curien, P.-L., & Laplante-Anfossi, G. (2024). Topological proofs of categorical coherence. Cahiers de topologie et géométrie différentielle catégoriques, 45(4), 357-389.