From Grothendieck cofibrations to factorization systems: a formal 2-monadic account
Grothendieck cofibrations describe transport in a category varying over a base, while factorization systems organize the arrows of a category into two complementary classes. We give a fully 2-categorical account of the passage from the former structure to the latter. The global comma 2-monad on the arrow 2-category encodes Grothendieck transport, whereas the squaring 2-monad encodes factorizations. We prove that split cofibrations are precisely the strict algebras for the comma 2-monad, including their 1-cells and 2-cells, and that normally cloven cofibrations are precisely its normal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.27541
curl -X POST /api/v1/records/arxiv/2607.27541/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.27541/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'