{"id":"arxiv/2607.27541","url":"https://arxiv.org/abs/2607.27541","tags":["math.CT"],"score":0,"title":"From Grothendieck cofibrations to factorization systems: a formal 2-monadic account","domain":"math.CT","source":"arxiv","authors":["Fernando Lucatelli Nunes","Walter Tholen"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}