20 Jan
2009
20 Jan
'09
6:11 a.m.
Dear mathematicians, I wonder if the following is true. Has anybody a reference, if this is the case? Let V and W be two complete and cocomplete symmetric monoidal closed categories and L: V <--> W :R an adjunction of (lax) symmetric monoidal functors. Let D be a small V- category. Is it true that there is a V-isomorphism V-Fun(D,RW) = R(W-Fun(LD,W)) ? (If not, is this at least the case if L is strict symmetric monoidal?) Thank you for any help. Tony