论文信息 - NATURAL WEAK FACTORIZATION SYSTEMS

NATURAL WEAK FACTORIZATION SYSTEMS

In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category K is introduced, as a pair (comonad, monad) over K. The link with existing notions in terms of morphism classes is given via the respective Eilenberg– Moore categories.

W. Tholen | M. Grandis | MARCO GRANDIS | WALTER THOLEN | W. THOLEN

[1] Marco Grandis,et al. Limits in double categories , 1999 .

[2] Jirí Adámek,et al. Weak Factorization Systems and Topological Functors , 2002, Appl. Categorical Struct..

[3] Jirí Rosický,et al. Lax factorization algebras , 2002 .

[4] G. Janelidze,et al. Decidable (= separable) objects and morphisms in lextensive categories , 1996 .

[5] Walter Tholen,et al. Factorization systems as Eilenberg-Moore algebras , 1993 .

[6] Horst Herrlich,et al. Abstract and concrete categories , 1990 .

[7] John W. Gray,et al. Formal category theory: adjointness for 2-categories , 1974 .

[8] R. J. Wood,et al. COHERENCE FOR FACTORIZATION ALGEBRAS , 2002 .