Results 1 
2 of
2
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 13 (4 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.
Free Internal Groups
"... In the first part of this note an elementary proof is given of the fact that algebraic functors, that is, functors induced by morphisms of Lawvere theories, have left adjoints provided that the category K in which the models of these theories take their values is locally presentable. The main focus ..."
Abstract
 Add to MetaCart
In the first part of this note an elementary proof is given of the fact that algebraic functors, that is, functors induced by morphisms of Lawvere theories, have left adjoints provided that the category K in which the models of these theories take their values is locally presentable. The main focus however lies on the special cases of the underlying functor of the category Grp(K) of internal groups in K and the embedding