5
$\begingroup$

What are standard and/or natural examples of pairs of functors $F:C\leftrightarrows D:G$ and unnatural bijections $\hom_D(Fx,y)\to\hom_C(x,Gy)$ for all $x$ and $y$? Can one do this so that the bijections are natural in $x$ and not in $y$?

$\endgroup$
  • 3
    $\begingroup$ If there are bijections natural in $x$, then $F$ must have a right adjoint, whose object part agrees with $G$ and whose morphism part makes the bijection natural in $y$. $\endgroup$ – Zhen Lin Feb 11 '14 at 21:40
  • $\begingroup$ @ZhenLin, you have a reference for that fact? $\endgroup$ – Mariano Suárez-Álvarez Feb 11 '14 at 21:51
  • 3
    $\begingroup$ See Corollary 2 in [CWM, Ch. IV, §1]. $\endgroup$ – Zhen Lin Feb 11 '14 at 22:38
12
$\begingroup$

Let $C$ and $D$ both be the category of finite-dimensional (say real) vector spaces and invertible linear maps between them, let $F$ be the identity, and let $G$ take a vector space to its dual. ($G$ is not functorial on all linear maps, but it is on the invertible ones.) Then $G y \cong y$ unnaturally, so $\hom(F x, y) = \hom(x, y) \cong \hom(x, G y)$ naturally in $x$ but unnaturally in $y$.

$\endgroup$
  • $\begingroup$ To connect this answer with Zhen Lin's comment on the question: The corollary that Zhen Lin cited requires the axiom of choice (unless we allow $G$ to become an anafunctor), so it's unsurprising that I rely on it: choose for each $y$ a linear isomorphism $d_y\colon y \to G y$ (or choose for each $y$ a basis if you want to feel more elementary). Then given a linear isomorphism $f\colon y \to y'$, let $G f$ be $d_y \circ f \circ d_y^{-1}$. Now $\hom(F x, y) \cong \hom (x, G y)$ naturally in $y$ too. (My original $G f$ is meant to be the dual of $f^{-1}$.) $\endgroup$ – Toby Bartels Feb 12 '14 at 17:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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