Gentzen systems with negation and Craig factorization in the associated categories