ct.category theory - What would be an "arrows-only" defintion of a product in a category?

Using the notation of nlab, the following is a fibered product: if $x, y$ are arrows with $t(x) = t(y)$, then their fiber product is the pair of arrows $u, v$ with $t(u) = s(x)$, $t(v) = s(y)$, and $s(u) = s(v)$ such that for any pair of arrows $a, b$ with $s(a) = s(b)$, $t(a) = t(u) , (= s(x))$ and $t(b) = t(v) , (= s(y))$ and such that $x circ a = y circ b$, there is a unique arrow $c$ having $s(c) = s(a) = s(b)$, $t(c) = s(u) = s(v)$, and $a = u circ c$, $b = v circ c$.

To define a plain product, suppose the category has a final object (that is, of course, that there exists an arrow $f$ such that for any arrow $x$ there exists a unique arrow $x'$ with $s(x') = s(x)$ and $t(x') = f$) and replace $x$ and $y$ by $x'$ and $y'$ in the above. If it doesn't have one, of course you can just add one.

Can't get any farther away from identity arrows than that; you need to be able to specify sources and targets to define composition.