MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given any functor between two small categories, one may construct two functors between their presheaf categories. Let $f:\mathcal{A}\rightarrow\mathcal{B}$ be such a functor. Then we may extend this functor to a functor, $f_{\ast}: \hat{\mathcal{A}} \rightarrow \hat{\mathcal{B}}$ by co-continuity. On the other hand we have a functor, $f^{\ast}:\hat{\mathcal{B}}\rightarrow\hat{\mathcal{A}}$ defined by the composite, i.e., by taking $X \mapsto X \circ f^{op}$. My question is: are these two functors adjoint?

share|cite|improve this question
    
I appologize about the terrible formatting job. – jackie boy Dec 15 '10 at 17:24
4  
Yes, it is well-known that $f_\ast$ (under your notation; often one sees $f_!$) is left adjoint to $f^\ast$. It is saying that $f_\ast$ is the left Kan extension along $f^{op}$, and the requisite formula is a standard exercise in the yoga of the Yoneda lemma. A chatty discussion of it can be found at ncatlab.org/nlab/show/free+cocompletion – Todd Trimble Dec 15 '10 at 18:06
2  
You actually get THREE adjoint functors $f_!$, $f^*$, and $f_*$, with each adjoint to the adjacent. – David Carchedi Dec 15 '10 at 18:15
    

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.