A Question on Auto-Adjoint functors - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T23:45:28Z http://mathoverflow.net/feeds/question/106198 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106198/a-question-on-auto-adjoint-functors A Question on Auto-Adjoint functors Buschi Sergio 2012-09-02T21:18:41Z 2012-09-03T13:21:48Z <p>Let $F: \mathscr{C}\to \mathscr{C}^{op}$, with an adjoint $G$, and $\eta: 1_\mathscr{C} \Rightarrow G\circ F$ and $\varepsilon: F\circ G\Rightarrow 1_{\mathscr{C}^{op}}$ with components (in $\mathscr{C}$):</p> <p>$\eta_M: M\to G(F(M))$ and $\varepsilon^{op}_N: N\to F(G(N))$ such that the compositions (in $\mathscr{C}$):</p> <p>$F(M) \xrightarrow{\varepsilon^{op}_{F(M)}} FGF(M) \xrightarrow{F^{op}(\eta_M)}F(M)$ and</p> <p>$G(N) \xrightarrow{\eta_{G(N)}}GFG(N) \xrightarrow{G(\varepsilon_N)}G(N)\$ are units.</p> <p>Moreover suppose $G=F^{op}$ and $\eta$ a isomorphis transformation. Follow that $F$ is full, faithfull and reflect isomorphisms (consider $F(f)\circ \eta_M=\eta_{M'}\circ f$ for $f: M\to M'$), then also $G=F^{op}$ reflect isomorphisms, from above: $\varepsilon$ is Iso. Observe that the components of $\eta: 1_\mathscr{C} \Rightarrow F^{op}\circ F$ and $\varepsilon^{op}: 1_{\mathscr{C}}\Rightarrow F^{op}\circ F$ are of type: $\eta_M: M\to F\circ F(M)$ and $\varepsilon^{op}_M: M\to F\circ F(M)$.</p> <p><strong>Question:</strong> Is true that $\eta =\varepsilon^{op}$ ?</p> http://mathoverflow.net/questions/106198/a-question-on-auto-adjoint-functors/106239#106239 Answer by Todd Trimble for A Question on Auto-Adjoint functors Todd Trimble 2012-09-03T12:42:49Z 2012-09-03T13:21:48Z <p>It's a good question; the answer is no. </p> <p>Suppose $F \dashv F^{op}$ with unit $\eta: 1_C \to F^{op} F$ and counit $\varepsilon: F F^{op} \to 1_{C^{op}}$. Since $\varepsilon$ is the unique transformation $\theta: F F^{op} \to 1$ such that </p> <p>$$1_{F^{op}} = (F^{op} \stackrel{\eta F^{op}}{\to} F^{op} F F^{op} \stackrel{F^{op}\theta}{\to} F^{op})$$ </p> <p>the question is whether $F^{op}\eta^{op} = (\eta F^{op})^{-1}$. </p> <p>Take $C$ to be an commutative group $G$, considered as a category with one object $\bullet$. Here we may simply identify $G^{op}$ with $G$, i.e., the identity $1_G \colon G \to G$ may be seen as a contravariant functor because we have $1_G(g h) = 1_G(h)1_A(g)$ by commutativity. Now take $F$ and therefore $F^{op}$ to be the identity on $G$. Any element $u \in G$ as morphism $\bullet \to \bullet = F^{op} F \bullet$ can serve as the unit transformation (naturality also follows from commutativity). But then, as soon as $u$ is not equal to $u^{-1}$, we have $F^{op}u^{op} = u \neq u^{-1} = (u F^{op})^{-1}$. Therefore taking $G$ to be the additive group $\mathbb{Z}$ and $u = 1 \in \mathbb{Z}$, we reach a counterexample. </p>