Results 1 
8 of
8
Natural weak factorization systems
 Archivum Mathematicum
"... Dedicated to Jiˇrí Rosick´y at the occasion of his sixtieth birthday Abstract. 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 categor ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
(Show Context)
Dedicated to Jiˇrí Rosick´y at the occasion of his sixtieth birthday Abstract. 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) overK 2. The link with existing notions in terms of morphism classes is given via the respective Eilenberg– Moore categories. 1.
Functorial Factorization, Wellpointedness and Separability
"... A functorial treatment of factorization structures is presented, under extensive use of wellpointed endofunctors. Actually, socalled weak factorization systems are interpreted as pointed lax indexed endofunctors, and this sheds new light on the correspondence between reflective subcategories and f ..."
Abstract

Cited by 17 (5 self)
 Add to MetaCart
A functorial treatment of factorization structures is presented, under extensive use of wellpointed endofunctors. Actually, socalled 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: concordantdissonant and inseparableseparable.
Lax Factorization Algebras
"... It is shown that many weak factorization systems appearing in functorial Quillen model categories, including all those that are cofibrantly generated, come with a rich computational structure, defined by a certain lax algebra with respect to the "squaring monad" on CAT. This structure larg ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
It is shown that many weak factorization systems appearing in functorial Quillen model categories, including all those that are cofibrantly generated, come with a rich computational structure, defined by a certain lax algebra with respect to the "squaring monad" on CAT. This structure largely facilitates natural choices for left or right liftings once certain basic natural choices have been made. The use of homomorphisms of such lax algebras is also discussed, with focus on "lax freeness". Mathematics Subject Classification: 18A32, 18C20, 18D05, 55P05. Key words: weak factorization system, cofibrantly generated system, (symmetric) lax factorization algebra, lax homomorphism. Supported by the Ministry of Education of the Czech Republic under project MSM 143100009. y Partial financial assistance by NSERC is acknowledged. 1 1. Introduction Weak factorization systems appear prominently in the definition of Quillen model category: for C, W, F the classes of cofibrations, weak equiva...
Weak subobjects and the epimonic completion of a category
 J. Pure Appl. Algebra
"... Abstract. The notion of weak subobject, or variation, was introduced in [Gr4] as an extension of the notion of subobject, adapted to homotopy categories or triangulated categories, and well linked with their weak limits. We study here some formal properties of this notion. The variations in X can b ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
(Show Context)
Abstract. The notion of weak subobject, or variation, was introduced in [Gr4] as an extension of the notion of subobject, adapted to homotopy categories or triangulated categories, and well linked with their weak limits. We study here some formal properties of this notion. The variations in X can be identified with the (distinguished) subobjects in the Freyd completion FrX, the free category with epimonic factorisation system over X, which extends the Freyd embedding of the stable homotopy
Coherence for factorization algebras
 Theory Appl. Categories
, 2002
"... ABSTRACT. For the 2monad ((−) 2,I,C)onCAT, with unit I described by identities and multiplication C described by composition, we show that a functor F: K2 � � K satisfying FIK =1K admits a unique, normal, pseudoalgebra structure for (−) 2 if and only if there is a mere natural isomorphism F · F 2 ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
ABSTRACT. For the 2monad ((−) 2,I,C)onCAT, with unit I described by identities and multiplication C described by composition, we show that a functor F: K2 � � K satisfying FIK =1K admits a unique, normal, pseudoalgebra structure for (−) 2 if and only if there is a mere natural isomorphism F · F 2 � � � F · CK. We show that when this is the case the set of all natural transformations F · F 2 � � F · CK formsa commutative monoid isomorphic to the centre of K. 1. Preliminaries 1.1. When we speak of ‘the 2monad (−) 2 on CAT ’ we understand the canonical monad that arises by exponentiation of the cocommutative comonoid structure
FREE QUILLEN FACTORIZATION SYSTEMS
"... Dedicated to Professor Inassaridze at the occasion of his seventieth birthday Abstract. The notion of Quillen factorization system is obtained by strengthening the left and right lifting properties in a Quillen model category to the unique diagonalization property. An equivalent description of this ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Dedicated to Professor Inassaridze at the occasion of his seventieth birthday Abstract. The notion of Quillen factorization system is obtained by strengthening the left and right lifting properties in a Quillen model category to the unique diagonalization property. An equivalent description of this notion is given in terms of a double factorization system which decomposes each arrow uniquely into three factors. The free category with Quillen factorization system over a given category is described.
Coherence For Factorization Algebras
, 2002
"... For the 2monad (() 2 , I, C) on CAT, with unit I described by identities and multiplication C described by composition, we show that a functor F : K 2 ## K satisfying F I K = 1 K admits a unique, normal, pseudoalgebra structure for () 2 if and only if there is a mere natural isomorp ..."
Abstract
 Add to MetaCart
For the 2monad (() 2 , I, C) on CAT, with unit I described by identities and multiplication C described by composition, we show that a functor F : K 2 ## K satisfying F I K = 1 K admits a unique, normal, pseudoalgebra structure for () 2 if and only if there is a mere natural isomorphism F F 2 # ## F CK . We show that when this is the case the set of all natural transformations F F 2 ## F CK forms a commutative monoid isomorphic to the centre of K.
On the monad of proper factorisation systems in categories ( *)
, 2001
"... Abstract. It is known that factorisation systems in categories can be viewed as unitary pseudo algebras for the monad (–) 2, in Cat. We show in this note that an analogous fact holds for proper (i.e., epimono) factorisation systems and a suitable quotient of the former monad, deriving from a constru ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. It is known that factorisation systems in categories can be viewed as unitary pseudo algebras for the monad (–) 2, in Cat. We show in this note that an analogous fact holds for proper (i.e., epimono) factorisation systems and a suitable quotient of the former monad, deriving from a construct introduced by P. Freyd for stable homotopy. Structural similarities of the previous monad with the path endofunctor of topological spaces are considered.