paper

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.