AI 中文总结
研究证明项链范畴是测试范畴,其预层能模拟同伦类型,证明方法类似带连接的立方体范畴,为相关研究提供新视角。
AI 中文摘要
在本简短笔记中,我们证明项链范畴是一个测试范畴。因此项链上的预层可模拟同伦类型。证明类似于带连接的立方体范畴的证明。
英文摘要
In this short note, we prove that the category of necklaces is a test category. Hence presheaves on necklaces model homotopy types. The proof is analogous to that for the category of cubes with connections.
Comments4 pages, no figures