We characterize pointed varieties of universal algebras in which $(A\times B)/A \approx B$, i.e. all product projections are normal epimorphisms.
2000 MSC: 18A20, 18A30, 08B05, 08B25
Theory and Applications of Categories
, Vol. 11, 2003,
No. 9, pp 212-214.
http://www.tac.mta.ca/tac/volumes/11/9/11-09.dvi
http://www.tac.mta.ca/tac/volumes/11/9/11-09.ps
http://www.tac.mta.ca/tac/volumes/11/9/11-09.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/11/9/11-09.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/11/9/11-09.ps