factorization system over a subcategory
k-ary factorization system, ternary factorization system
factorization system in a 2-category
factorization system in an (∞,1)-category
(∞,1)-sheaf, ?-stack?, derived stack
Hyperconnected geometric morphisms are the left class of a 2-categorical orthogonal factorization system on the 2-category Topos of toposes; the right class is the class of localic geometric morphisms.