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.