5 Dec
2008
5 Dec
'08
11:21 p.m.
Dear mathematicians, could anybody give me a hint if the following assertion is true? Let V be a complete and co-complete symmetric monoidal closed category. The category sV of simplicial objects in V is also complete and co-complete symmetric monoidal closed with the pointwise tensor. There is a V-adjunction D:V<-->sV:Z of the V-functor Z which evaluates in 0 and the discrete V-functor D. Does this induce a V-Isomorphism of V-categories V-Fun(K,ZC)~sV-Fun(DK,C) for any small V-category K and any sV-category C? Please note that a similar statement is true for the non-enriched case [e.g. Borceux2, Proposition 6.4.8.]. Thank you for any help. Tony