科研速览 · Science Skim继续刷下去 · Keep skimming →
◇ arXiv2026-08-13· math.CT

The q-model category of multipointed d-spaces is not left proper

Philippe Gaucher

原始摘要(英文原文)· Original abstract
We prove that the q-model category of $\mathcal P$-multipointed d-spaces for $\mathcal P\in\{\mathcal G,\mathcal M\}$ is not left proper by constructing a weak equivalence whose pushout along a q-cofibration obtained by attaching a single 1-dimensional globular cell is not a weak equivalence. The counterexample is constructed in the category of $Δ$-Hausdorff $Δ$-generated spaces. For $\mathcal P=\mathcal G$, all objects are automatically saturated, and for $\mathcal P=\mathcal M$, the original weak equivalence is between saturated objects. The failure is caused by a family of nonconstant execution paths that converges in the ambient mapping space to a constant map which is not an execution path; after the globular cell is attached, this degeneration causes two previously distinct path components to merge.
读原文 · Read the paper ↗

AI 追问PRO

登录后使用 AI 追问

讨论区

登录后参与讨论

相关论文 · Related

The q-model category of multipointed d-spaces is not left proper — 科研速览 Science Skim