Categorical semantics of the call-by-value lambda calculus