Factorization systems in $\infty$-categories

Abstract

We extend the notion of a factorization system in a category to the realm of $\infty$-categories. To this end, we provide a description of the category of $\infty$-categories with factorization systems as the category of presheaves of spaces on a certain category that satisfy a version of the Segal condition. Additionally, we study the notion of distributive laws between monads and, more generally, lax functors in the context of categories with factorization systems. In particular, we also characterize categories with factorization systems as distributive laws in the bicategory of spans.