Functorial factorization, well-pointedness and separability

Abstract

A functorial treatment of factorization structures is presented, under extensive use of well-pointed endofunctors. Actually, the so-called weak factorization systems are interpreted as pointed lax indexed endofunctors, and this sheds new light on the correspondence between reflective subcategories and factorization systems. The second part of the paper presents two important factorization structures in the context of pointed endofunctors: concordant–dissonant and inseparable–separable.