It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 493
- ACT Study Group 5
- Azimuth Math Review 6
- MIT 2020: Programming with Categories 53
- MIT 2020: Lectures 21
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 138
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 64
- Azimuth Code Project 110
- Drafts 1
- Math Syntax Demos 15
- Wiki - Latest Changes 1
- Strategy 110
- Azimuth Project 1.1K

Options

\(\def\cat#1{{\mathcal{#1}}}\) \(\def\comp#1{{\widehat{#1}}}\) \(\def\conj#1{{\check{#1}}}\) \(\def\id{{\mathrm{id}}}\) Let \(\cat{V}\) be a skeletal quantale, let \(\cat{P}\) and \(\cat{Q}\) be \(\cat{V}\)-categories, and let \(F\colon\cat{P}\to\cat{Q}\) and \(G\colon\cat{Q}\to\cat{P}\) be \(\cat{V}\)-functors.

Show that \(F\) and \(G\) are \(\cat{V}\)-adjoints (as in \ref{eq1}) if and only if the companion of the former equals the conjoint of the latter: \(\comp{F}=\conj{G}\).

Use this to prove that \(\comp{\id}=\conj{\id}\), as was stated in 4.34.

$$\label{eq1}\tag{4.39}\cat{P}(p,G(q))\cong\cat{Q}(F(p),q)$$

## Comments

Suppose \(\def\cat#1{{\mathcal{#1}}}\) \(\def\comp#1{{\widehat{#1}}}\) \(\def\conj#1{{\check{#1}}}\) \(\def\id{{\mathrm{id}}}\comp{F}=\conj{G}\). By the definitions of companion and conjoint, \(\cat{Q}(F(p),q)=\comp{F}(p,q)=\conj{G}(p,q)=\cat{P}(p,G(q))\) for every \(p\in\cat{P}\) and \(q\in\cat{Q}\). Suppose \(F\) and \(G\) are \(\cat{V}\)-adjoints. Since \(\cat{V}\) is a skeletal quantale, \eqref{eq1} holds with equality. By the definitions of companion and conjoint \(\conj{G}(p,q)=\cat{P}(p,G(q))=\cat{Q}(F(p),q)=\comp{F}(p,q)\) holds for every \(p\in\cat{P}\) and \(q\in\cat{Q}\). Thus, \(\comp{F}=\conj{G}\).

\(\cat{P}(p,\id(q))=\cat{P}(p,q)=\cat{P}(\id(p),q)\), so \(\comp{\id}=\conj{\id}\).

`1. Suppose \\(\def\cat#1{{\mathcal{#1}}}\\) \\(\def\comp#1{{\widehat{#1}}}\\) \\(\def\conj#1{{\check{#1}}}\\) \\(\def\id{{\mathrm{id}}}\comp{F}=\conj{G}\\). By the definitions of companion and conjoint, \\(\cat{Q}(F(p),q)=\comp{F}(p,q)=\conj{G}(p,q)=\cat{P}(p,G(q))\\) for every \\(p\in\cat{P}\\) and \\(q\in\cat{Q}\\). Suppose \\(F\\) and \\(G\\) are \\(\cat{V}\\)-adjoints. Since \\(\cat{V}\\) is a skeletal quantale, \eqref{eq1} holds with equality. By the definitions of companion and conjoint \\(\conj{G}(p,q)=\cat{P}(p,G(q))=\cat{Q}(F(p),q)=\comp{F}(p,q)\\) holds for every \\(p\in\cat{P}\\) and \\(q\in\cat{Q}\\). Thus, \\(\comp{F}=\conj{G}\\). 2. \\(\cat{P}(p,\id(q))=\cat{P}(p,q)=\cat{P}(\id(p),q)\\), so \\(\comp{\id}=\conj{\id}\\).`