The double bicrossproduct D = A(alpha)(phi)x(beta)(psi) H of two bialgebras
A and H is constructed in a braided tensor category and the necessary and
sufficient conditions for D to be a bialgebra are given. The universal prop
erty of double bicrossproduct is obtained.