7
$\begingroup$

What kinds of Yoneda-like situations induce an embedding that preserves the tensor product for some arbitrary monoidal category?

The cases where the monoidal product is given by a limit or colimit give this immediately for the usual Yoneda embedding, but this breaks down for "real" monoidal categories like $(Vect, \otimes)$.

Are there $V$-enriched cases where the generalised embedding

$$ Y : C \to V^{C^{op}} $$

does preserve the tensor product for interesting monoidal categories $C$?

$\endgroup$

1 Answer 1

5
$\begingroup$

Day showed that, for suitable V, any monoidal structure on a (V-)functor category $[C^{\mathrm{op}}, V]$ is essentially determined by its restriction to the representables as $$ F \otimes G = \int^{A,B} F A \otimes G B \otimes P(A,B,-) $$ where $P(A,B,-) = C(-, A) \otimes C(-, B)$ is a profunctor $C \otimes C \otimes C^{\mathrm{op}} \to V$. P (together with a unit and the usual structural isos) is said to endow C with a promonoidal structure.

If C is already a monoidal V-category, then there is a canonical promonoidal structure on it given by $$ C(-, A) \otimes C(-, B) = C(-, A \otimes B) $$ In that case, the Yoneda embedding is strong monoidal by definition. In fact it is the unit for the monoidal cocompletion of C.

$\endgroup$
4
  • 1
    $\begingroup$ Could you give a reference to the paper of Day? $\endgroup$ Commented Aug 20, 2010 at 17:42
  • 1
    $\begingroup$ Yes, sorry, it's in his 1970 thesis, to be found at math.mq.edu.au/~street/Day.pub.html $\endgroup$ Commented Aug 20, 2010 at 18:10
  • $\begingroup$ I think you mean any closed monoidal structure on a functor category? $\endgroup$ Commented Aug 21, 2010 at 2:47
  • $\begingroup$ Yes, I should also have said that this assumes that the tensor on both V and [C^op, V] is cocontinuous in both variables. $\endgroup$ Commented Aug 21, 2010 at 19:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .