# The Unapologetic Mathematician

## Enriched Adjunctions

When I started in on adjoint functors, I gave the definition in terms of a bijection of hom-sets. Then I showed that we can also specify it in terms of its unit and counit. Both approaches (and their relationship) generalize to the enriched setting.

Given a functor $F:\mathcal{C}\rightarrow\mathcal{D}$ and another $G:\mathcal{D}\rightarrow\mathcal{C}$, an adjunction is given by natural transformations $\eta:1_\mathcal{C}\rightarrow G\circ F$ and $\epsilon:F\circ G\rightarrow1_\mathcal{D}$. These transformations must satisfy the equations $(1_G\circ\epsilon)\cdot(\eta\circ1_G)=1_G$ and $(\epsilon\circ1_F)\cdot(1_F\circ\eta)=1_F$. By the weak Yoneda Lemma, this is equivalent to giving a $\mathcal{V}$-natural isomorphism $\phi_{C,D}:\hom_\mathcal{D}(F(C),D)\rightarrow\hom_\mathcal{C}(C,G(D))$.

Indeed, a $\mathcal{V}$-natural transformation in this direction must be of the form $\phi_{C,D}=\hom_\mathcal{C}(\eta_C,1_{G(D)})\circ G_{F(C),D}$, and one in the other direction must be of the form $\varphi_{C,D}=\hom_\mathcal{D}(1_{F(C)},\epsilon_D)\circ F_{C,G(D)}$. The equations $\phi\circ\varphi=1$ and $\varphi\circ\phi=1$ are equivalent, by the weak Yoneda Lemma, to the equations satisfied by the unit and counit of an adjunction.

The $2$-functor $\mathcal{V}\mathbf{-Cat}\rightarrow\mathbf{Cat}$ that sends an enriched category to its underlying ordinary category sends an enriched adjunction to an ordinary adjunction. The function underlying the $\mathcal{V}$-natural isomorphism $\phi$ is the bijection of this underlying adjunction.

As we saw before, a $\mathcal{V}$-functor $G$ has a left adjoint $F$ if and only if $\hom_\mathcal{D}(D,F(\underline{\hphantom{X}}))$ is representable for each $D\in\mathcal{D}$. Also, an enriched equivalence is an enriched adjunction whose unit and counit are both $\mathcal{V}$-natural isomorphisms. Just as for ordinary adjunctions, we have transformations between enriched adjunctions, a category of enriched adjunctions between two enriched categories, enriched adjunctions with parameters, and so on.

### Like this:

Posted by John Armstrong | Category theory

No comments yet.

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 23, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9134265184402466, "perplexity_flag": "head"}