Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let me recall that any small category $\mathbb{A}$ enriched in a complete and cocomplete symmetric monoidal closed category $\mathbb{V}$ admits embedding (the Yoneda embedding): $$y_\mathbb{A} \colon \mathbb{A} \rightarrow \mathbb{V}^{\mathbb{A}^{op}}$$ into a complete and cocomplete $\mathbb{V}$-enriched category. And:

  • this embedding preserves any monoidal structure $\langle \otimes_\mathbb{A}, I_\mathbb{A} \rangle$ defined on $\mathbb{A}$; the induced structure $\mathbb{V}^{\mathbb{A}^{op}} \otimes \mathbb{V}^{\mathbb{A}^{op}} \rightarrow \mathbb{V}^{\mathbb{A}^{op}}$ is given by the Day convolution: $$\langle F, G \rangle \mapsto \int^{B \in \mathbb{A}, C \in \mathbb{A}} F(B) \otimes G(C) \otimes \hom(-, B \otimes_\mathbb{A} C)$$
  • the induced structure on $\mathbb{V}^{\mathbb{A}^{op}}$ is always monoidal (bi)closed
  • more generally, any promonoidal structure (i.e. a weak monoidal object in the bi-category of $\mathbb{V}$-enriched distributors) defined on $\mathbb{A}$ induces a (bi)closed monoidal structure on $\mathbb{V}^{\mathbb{A}^{op}}$; moreover there is a bijective correspondence between (bi)closed monoidal structures defined on $\mathbb{V}^{\mathbb{A}^{op}}$ and promonoidal structures defined on $\mathbb{A}$

It seems (though I have not checked details) that all of the above carry to the context of categories internal to any finitely cocomplete locally cartesian closed category $\mathbb{C}$. For any $\mathbb{C}$-internal category $\mathbb{A}$ there exists a fibred fully faithful embedding: $$y_\mathbb{A} \colon \mathbb{A} \rightarrow \mathbb{C}^{\rightarrow^{\mathbb{A}^{op}}}$$ where $\mathbb{C}^{\rightarrow^{\mathbb{A}^{op}}}$ is the (complete and cocomplete cartesian closed) fibration of $\mathbb{A}^{op}$-indexed diagrams in the fundamental (i.e. codomain) fibration on $\mathbb{C}$.

This observation is so blatantly obvious that it must have been made (and written somewhere) before. What are the references?

Much of the work has been done in "Cosmoi of Internal Categories" by Ross Street. However, I have not found any statement about transporting monoidal structures from $\mathbb{A}$ to $\mathbb{C}^{\rightarrow^{\mathbb{A}^{op}}}$ in the paper.

share|improve this question
1  
The co-end formula in the Day convolution is a form of colimit, and I can see no reason for the relevant colimit to be available when the containing category is a general local cartesian-closed category. Shouldn't some cocompleteness assumption be added? –  Alex Simpson Apr 22 '13 at 12:09
2  
A locally cartesian closed category with finite colimits believes itself to be cocomplete (in the internal sense, of course). Caution: such categories may suffer from delusions; $\textbf{FinSet}$ is one example. –  Zhen Lin Apr 22 '13 at 14:27
    
@Alex, you are right that for some of these constructions we have to assume that $\mathbb{C}$ has finite colimits (coequalisers suffice) --- thank you, I will update the question. –  Michal R. Przybylek Apr 22 '13 at 14:31
    
@Zhen, thank you --- $\textbf{FinSet}$ is a very good example to see why the external cocompleteness is not necessary here (since $\textbf{FinSet}$-internal categories are finite, the coend in the Day convolution may be expressed via finite colimits). –  Michal R. Przybylek Apr 22 '13 at 14:43
add comment

1 Answer

up vote 3 down vote accepted

After some research, I think it has not been observed until now. However, all of the bricks needed to make the argument are almost ready.

In paper "Monoidal bicategories and Hopf algebroids" Brain Day and Ross Street defined a notion of convolution in the context of Gray monoids. For a reason that shall become clear later, I am willing to call it "virtual convolution". Here is the definition. Let $\langle A, \delta \colon A \rightarrow A \otimes A, \epsilon \colon A \rightarrow I \rangle$ be a weak comonoid, and $\langle B, \mu \colon B \otimes B \rightarrow B, \eta \colon I \rightarrow B \rangle$ be a weak monoid in a monoidal bi-category with tensor $\otimes$ and unit $I$, then $\langle \hom(A, B), \star, i \rangle$ is a monoidal category by: \begin{array}{ccc} f\star g &=& \mu \circ (f \otimes g) \circ \delta \newline i &=& \eta \circ \epsilon \end{array} So the "convolution structure" exists only virtually --- on $\hom$-categories. If the monoidal bi-category admits all right Kan liftings, then such induced monoidal category $\langle \hom(I, B), \star, i \rangle$ for trivial comonoid on $I$ is monoidal (bi)closed by: $$f \overset{L}\multimap h = \mathit{Rift}_{\mu \circ (f \otimes \mathit{id})}(h)$$

$$f \overset{R}\multimap h = \mathit{Rift}_{\mu \circ (\mathit{id} \otimes f)}(h)$$ Taking for the monoidal bi-category the bi-category of profunctors, we obtain the well-known formula for convolution. However, in the general setting, such induced structure is far weaker than one would wish to have --- for example in the category of profunctors enriched over a monoidal category $\mathbb{V}$ the induced convolution instead of giving a monoidal structure on the category of enriched presheaves: $$\mathbb{V}^{B^{op}}$$ merely gives a monoidal structure on the underlying category: $$\hom(I, \mathbb{V}^{B^{op}})$$ Actually, there is a work-around for this issue in the context of enriched categories, as suggested in the paper, but the general weakness of "virtual convolution" is obvious.

The solution is to find a way to "materialize" the convolution. I shall sketch the idea for internal categories. I think all of the following works for split fibrations and split structures, so let me replace the codomain fibration $\mathbb{C}^\rightarrow \rightarrow \mathbb{C}$ from the question by its split version corresponding to the internal "family functor": $$\mathit{fam}(\mathbb{C}) \colon \mathbb{C}^{op} \rightarrow \mathbf{Cat}$$ Likewise, for a category $A$ internal to $\mathbb{C}$ I shall write: $$\mathit{fam}(A) \colon \mathbb{C}^{op} \rightarrow \mathbf{Cat}$$ for the functor corresponding to the externalisation of $A$. We want to show that given a promonoidal structure $$\langle A, \mu \colon A \times A \nrightarrow A, \eta \colon 1 \nrightarrow A \rangle$$ there is a corresponding monoidal closed structure on: $$\mathit{fam}(\mathbb{C})^{\mathit{fam}(A)^{op}}$$ which just means, that each fibre of $\mathit{fam}(\mathbb{C})^{\mathit{fam}(A)^{op}}$ is a monoidal closed category and reindexing functors preserve these monoidal structures. By fibred Yoneda lemma, for $K \in \mathbb{C}$: $$\mathit{fam}(\mathbb{C})^{\mathit{fam}(A)^{op}}(K) = \mathit{Prof}(K, A)$$ where $K$ is interpreted as a discrete internal category. There is a correspondence: $$\mathit{Prof}(K, A) \approx \mathit{Prof}(1, K^{op} \times A) = \mathit{Prof}(1, K \times A)$$ where the last equality holds because $K^{op} = K$ for any discrete category $K$. Since $K$ has a trivial promonoidal structure: $$K \times K \overset{\Delta^*}\nrightarrow K$$ we obtain a "product" promonoidal structure on $K \times A$:

\begin{array}{rcc} K \times A \times K \times A &\overset{\Delta^* \times \mu}\nrightarrow& K \times A \newline 1 &\overset{\langle !^*, \eta \rangle}\nrightarrow& K \times A \end{array} In more details, since $\mathbb{C}$ is cartesian, every object $K \in \mathbb{C}$ carries a unique comonoid structure:

\begin{array}{l} K \overset{\Delta}\rightarrow K \times K \newline K \overset{!}\rightarrow 1 \end{array}

which has a promonoidal right adjoint structure $\langle \Delta^\*, !^\* \rangle$ in the (bi)category of internal profunctors. The product of the above two promonoidal structures is given by the usual cartesian product of internal categories (note, it is not a product in the bicategory of internal profunctors) followed by the internal product functor $\mathit{fam}(\mathbb{C}) \times \mathit{fam}(\mathbb{C}) \overset{\mathit{prod}}\rightarrow \mathit{fam}(\mathbb{C})$.

Then by "virtual convolution" there is a monoidal (bi)closed structure on $\mathit{Prof}(1, K^{op} \times A)$. Therefore each fibre $\mathit{fam}(\mathbb{C})^{\mathit{fam}(A)^{op}}(K)$ is a monoidal (bi)closed category. It is easy to check that reindexing functors preserve these structures.


Let me work out the concept of internal Day convolution in case $\mathbb{C} = \mathbf{Set}$ and a promonoidal structure on a small category is monoidal. The split family fibration (or more accurately, the indexed functor corresponding to the family fibration) for a locally small category $A$: $$\mathit{fam}(A) \colon \mathbf{Set}^{op} \rightarrow \mathbf{Cat}$$ is defined as follows: \begin{array}{rcl} \mathit{fam}(A)(K \in \mathbf{Set}) &=& A^K \newline \mathit{fam}(A)(K \overset{f}\rightarrow L) &=& A^L \overset{(-) \circ f}\rightarrow A^K\newline \end{array} where $K, L$ are sets and $K \overset{f}\rightarrow L$ is a function between sets. One may think of category $A^K$ as of the category of $K$-indexed tuples of objects and morphisms from A. Now, given any monoidal structure on a small category $$\langle A, \otimes \colon A \times A \rightarrow A, I \colon 1 \rightarrow A \rangle$$ the usual notion of convolution induces a monoidal structure on $\mathbf{Set}^{A^{op}}$: $$\langle F, G \rangle \mapsto F \otimes G = \int^{B, C \in A} F(B) \times G(C) \times \hom(-, B \otimes C)$$ The split fibration: $$\mathit{fam}(\mathbf{Set})^{\mathit{fam}(A)^{op}} \colon \mathbf{Set}^{op} \rightarrow \mathbf{Cat}$$ may be characterised as follows:

\begin{array}{rcl} \mathit{fam}(\mathbf{Set})^{\mathit{fam}(A)^{op}}(K \in \mathbf{Set}) &=& \mathbf{Set}^{A^{op} \times K} \newline \mathit{fam}(\mathbf{Set})^{\mathit{fam}(A)^{op}}(K \overset{f}\rightarrow L) &=& \mathbf{Set}^{A^{op} \times L} \overset{(-) \circ (\mathit{id} \times f)}\rightarrow \mathbf{Set}^{A^{op} \times K}\newline \end{array} Since $\mathbf{Set}^{A^{op} \times K} \approx (\mathbf{Set}^{A^{op}})^K$ we may think of $\mathbf{Set}^{A^{op} \times K}$ as of $K$-indexed tuples of functors ${A^{op} \rightarrow \mathbf{Set}}$. In fact: $$\mathit{fam}(\mathbf{Set})^{\mathit{fam}(A)^{op}} \approx \mathit{fam}(\mathbf{Set}^{A^{op}})$$ It is natural then to extend the monoidal structure induced on $\mathbf{Set}^{A^{op}}$ pointwise to $(\mathbf{Set}^{A^{op}})^K$: $$(F \otimes G)(k) = \int^{B, C \in A} F(k)(B) \times G(k)(C) \times \hom(-, B \otimes C)$$ where $k \in K$.

On the other hand, using the internal formula for convolution, we get (up to a permutation of arguments): \begin{array}{c} \int^{B, C \in A, \beta, \gamma \in K} F(B, \beta) \times G(C, \gamma) \times \hom(\Delta(k), \langle \beta, \gamma \rangle) \times \hom(-, B \otimes C) \newline\hline\newline\hline \int^{B, C \in A, \beta, \gamma \in K} F(B, \beta) \times G(C, \gamma) \times \hom(k, \beta) \times \hom(k, \gamma) \times \hom(-, B \otimes C) \newline\hline\newline\hline \int^{B, C \in A} F(B, k) \times G(C, k) \times \hom(-, B \otimes C) \newline \end{array} where the first equivalence is the definition of diagonal $\Delta$ --- recall that the diagonal $\Delta(k) = \langle k, k \rangle$ is represented by profunctor $\hom(\langle \overset{1}-, \overset{2}-\rangle, \Delta(\overset{3}-))$, which has profunctorial right adjoint $\hom(\Delta(\overset{1}-), \langle \overset{2}-, \overset{3}-\rangle) \approx \hom(\overset{1}-, \overset{2}-) \times \hom(\overset{1}-, \overset{3}-)$ --- and the second one is by "Yoneda reduction" applied twice.


Final remarks:

  1. Seeing the above proof, one may wonder where the assumptions about the category $\mathbb{C}$ from the question were actually used:

    • local cartesian closedness guaranteed existence of all right Kan liftings in the bi-category of internal profunctors; without this assumption, the induced monoidal structure on $\mathit{fam}(\mathbb{C})^{\mathit{fam}(A)^{op}}$ would be generally non-closed; to see that local cartesian closedness is really crucial here, recall that fibration $\mathit{fam}(\mathbb{C})$ is a cartesian closed fibration iff $\mathbb{C}$ is locally cartesian closed ---- this means that without local cartesian closedness even trivial convolution of the monoidal structure on the terminal category is not closed; moreover, which has not been stated in the answer, local cartesian closedness made it possible to speak about internal Yoneda embedding

    • finite colimits (coequalisers) allowed us to define compositions of internal profunctors

  2. To really obtain a split monoidal closed structure via convolution without moving through the equivalence between Gray monoids and monoidal bi-categories ("Coherence for Tricategories", Gordon, Power, Street), one has (of course!) to replace the monoidal bi-category of internal profunctors by equivalent Gray monoid consisting of internal categories of presheaves and internally cocontinous functors.

  3. I think that the right setting for the concept of Day convolution is a "Yoneda monoidal bi-triangle" as sketched in this answer.

share|improve this answer
    
I am not sure if answering my own question is a good habit --- if it is not, I will remove the answer. –  Michal R. Przybylek May 7 '13 at 20:28
    
You can get a "self-learner" badge, which suggests that the designers of this software do not completely frown upon it. –  S. Carnahan May 8 '13 at 1:19
    
@Carnahan, ok. Now, should I accept my own answer, or leave the question open? –  Michal R. Przybylek May 8 '13 at 10:30
    
In my opinion it's fine to answer ones own questions if nobody else has given a good answer. That way if someone else finds the question and wants to know the answer they can read it. I think a lot of the value of this site is that answers are preserved for posterity. (Of course, I'm not a high-level user, so my opinions aren't too important...) –  Peter Samuelson May 14 '13 at 0:52
    
@Peter, thank you for your comment. However, the question has more upvotes than the answer --- so I may infer that not everyone is satisfied with the provided answer. I think it will be prudent to refrain from accepting it. –  Michal R. Przybylek May 14 '13 at 8:33
show 3 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.