A Tale of Two Paths
arXiv:2609.20860
Abstract
We provide a new presentation for a cylinder object inside of the category of co-globular -groupoids. We prove that the cylinder construction that Lanari provides is isomorphic to the one we build in this paper.