Proper factorization systems in 2-categories

Starting from known examples of factorization systems in 2-categories, we discuss possible definitions of proper factorization system in a 2-category. We focus our attention on the construction of the free proper factorization system on a given 2-category. (C) 2003 Elsevier Science B.V. All rights reserved.