On the Lambek embedding and the category of product-preserving presheaves

Peng Fu, Kohei Kishida, Neil J. Ross +1

It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda…