The q-model category of multipointed d-spaces is not left proper
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.13151
curl -X POST /api/v1/records/arxiv/2608.13151/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.13151/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'