量子科技中心_量科网

参数化稳定同伦理论将谱的局部系统组织在由六函子"瑜伽"支配的同伦类型上。为给近期发展的线性同伦类型论(LHoTT)提供语义，需要这些谱的良好模型范畴，最好能关于外部张量积构成幺半范畴。该研究团队聚焦于参数化H𝕂-模谱(∞-局部系统)的情形，其研究动机源于参数化同伦在拓扑量子计算中的最新应用。虽然传统上通过微分分次范畴处理，研究人员利用单纯链组合上的模型结构，首次构建了专门针对𝕂线性∞-局部系统的全局模型结构，相比现有通用参数化谱模型具有更好的控制性。特别地，当限制于1-型基空间时，该模型结构关于外部张量积构成幺半范畴，使其成为LHoTT乘法片段潜在的靶语义模型。