@misc{indiciae149c20bc57b5, title = {Euclidean interval objects in categories with finite products}, author = {Martin Escardo and Alex Simpson}, year = {2026}, url = {https://arxiv.org/abs/2504.21551}, note = {Source identifier: 2504.21551} }