{"id":"arxiv/2608.29261","url":"https://arxiv.org/abs/2608.29261","tags":["math.CT","math.AT"],"score":0,"title":"Factorization Systems on $\\infty$-Categories: Un/Straightening and Monadicity","domain":"math.CT","source":"arxiv","authors":["Thorger Geiß"],"reviews":0,"subject":"math.CT","summary":"We prove two structural results about factorization systems on $\\infty$-categories. Firstly, we classify factorization systems on the total spaces of a class of fibrations of $\\infty$-categories in terms of factorization systems on the base and the fibers. This will be interpreted as an un/straightening equivalence for $\\infty$-categories equipped with a factorization system, using Juran's double $\\infty$-categorical framework. Along the way, we develop the general theory of lifting through faithful functors of $n$-uple $\\infty$-categories. Secondly, we prove that the forgetful functor from…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-29","reactions":{}}