On the Lambek Embedding and the Category of Product-Preserving Presheaves