2
$\begingroup$

The question is in the title.

By fully faithful 2-functor, I mean 2-functors such that the maps on the hom categories are isomorphism, and by preserve, I mean in each variable.

I have an argument that seems to answer yes, but I am not sure about it.

Also, is there a good modern reference for Gray tensor products?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.