# Showing that naturality of this transformation follows from dinaturality of elements.

This is from Lemma 3.7 in $SL(2,\mathbb{Z})$-action for ribbon quasi-Hopf algebras.

Let $\mathcal{C}$ be a braided monoidal category with left duals (small, strict), define the functor $F=-^*\otimes-$, and let $\mathcal{D,N}:\mathcal{C}\to\mathbf{Set}$ be the functors which send objects $V\in\mathcal{C}$ to

• $\mathcal{D}V = \mathrm{Din}(F,V)$, the set of dinatural transformations $j:F\xrightarrow{..}V$
• $\mathcal{N}V=\mathrm{Nat}(1,1\otimes V)$, the set of natural transformations $\eta:1\Rightarrow1\otimes V$

For objects $V\in\mathcal{C}$, define maps $\zeta_V:\mathcal{D}V\to\mathcal{N}V$ by

$$(\zeta_V(j))_X \equiv \left[ X=1X\xrightarrow{c_X\otimes 1}XX^*X\xrightarrow{1\otimes j_X} XV \right],$$ where $c_X$ is the coevaluation for $X$ and we omit the symbol $\otimes$ for readability reasons.

These maps are isomorphisms, which is easily seen, but my problem is the statement that

Naturality of $\zeta$ follows from dinaturality of $j$.

Let $f:V\to W$. We want to show naturality, that is $$\mathcal{N}f\circ \zeta_V = \zeta_W \circ \mathcal{D}f,$$ where the functors act on morphisms in the obvious way. It is sufficient to check this on elements and components, so we compute \begin{align*} (\mathcal{N}f\circ \zeta_V)(j)_X &= (1\otimes f)\circ(\zeta_V(j))_X \\ &= (1\otimes f)\circ (1\otimes j_X)\circ (c_X\otimes 1) \\ &= (1\otimes (f\circ j_X))\circ (c_X\otimes 1)\\ &= (1\otimes \mathcal{D}f(j)_X)\circ (c_X\otimes 1)\\ &= (\zeta_W \circ \mathcal{D}f)(j)_X\ , \end{align*} which is exactly what we wanted to show.

But I didn't use the dinaturality of $j$ (at least I'm not aware of). Where's my mistake?

Edit

I want to make clear what dinaturality means:

$j:F\xrightarrow{..} V$ iff for all $A\in\mathcal{C}$ we have morphisms $j_A:A^*\otimes A\rightarrow V$ s.t. for all $f:A\to B$ the diagram $$\require{AMScd} \begin{CD} B^*\otimes A @>{f^*\otimes 1}>>A^*\otimes A \\ @V{1\otimes f}VV @V{j_A}VV \\ B^*\otimes B @>{j_B}>> V \end{CD}$$ commutes.

I don't see where this comes in.

I agree that this seems like a mistake. It looks clear to me that $\zeta$ can be extended to a natural isomorphism between the sets of not-necessarily dinatural transformations $F\to V$ and not-necessarily natural transformations $1\to 1\otimes V$; after all, this is essentially just the natural isomorphism $[X^*X,V]\cong [X,XV]$, with a product taken over all $X$, no? The point should be that naturality of $\zeta_V(j)$ follows from dinaturality of $j$.
• Thank you. Without thinking too much, I can appreciate "after all, this is essentially just the natural isomorphism $[X^*X,V]\cong [X,XV]$, with a product taken over all $X$". And indeed, the naturality from $\zeta_V(j)$ then follows from the dinaturality of both $j$ and the coevaluation (the dinaturality of the latter is also known as sliding to the right). But, besides that, the computation is not enlightening, so I won't carry it out here. – Jo Be Apr 10 '18 at 8:06
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9997156262397766, "perplexity": 464.3002414423745}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-26/segments/1560627999800.5/warc/CC-MAIN-20190625051950-20190625073950-00497.warc.gz"}