Tuesday, 12 November 2002
2:30 - 4:00   M Barr
HSP subcategories of Eilenberg-Moore algebras
ABSTRACT: Given a triple T on a category C and a factorization system E/M on the category of algebras, we show there is a 1-1 correspondence between full subcategories of the category of algebras that are closed under U-split epimorphisms, products, and M-subobjects and triple morphisms TtoS for which the induced natural transformation between free functors belongs to E.