Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Yes, that is what I meant :) Ah ok, it's true for $Set^{A^{op}}$? Do you know of where I could find a proof? Because surely then I could just apply this to the opposite functors $F^{op}: A^{op} \to B^{op}$ etc to get the result I need
