Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 3 of 3
Let
be a commutative square of categories and functors. Assume that $L_1$ and $L_2$ have right adjoints $R_1$ and $R_2$, respectively. Under which conditions do we have $FR_1\cong R_2G$?
The thing is that we have a concrete situation in which this does seem to be the case, but we would like to have an easy-to-check criterion which implies it.
In our case, all four categories are actually functor categories and the right adjoints correspond to taking Kan extensions.
Hi Cecillia,
the phrase Beck-Chevalley condition is what you are looking for. Proposition 1 at that page is an example similar to your case. (BTW, nice to meet you in Sydney)
Hi :)
thanks for the link, it is right to the point!
Looks like the pullbacks of opfibrations example in the nLab might apply to the case we are considering.
1 to 3 of 3