AI 中文总结
本文为余球形∞-群胚范畴中的柱对象提出新表示，并证明其与Lanari的构造同构。
AI 中文摘要
我们为余球形∞-群胚范畴内的柱对象提供了一个新的表示。我们证明了Lanari提供的柱构造与我们本文构建的构造是同构的。
英文摘要
We provide a new presentation for a cylinder object inside of the category of co-globular $\infty$-groupoids. We prove that the cylinder construction that Lanari provides is isomorphic to the one we build in this paper.
