If a category C has pullbacs no terminal object, then has C finite product? No. The simplest counterexample is the discrete category with two objects.