On Algebraic and More General Categories Whose Split Epimorphisms Have Underlying Product Projections