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 1 of 1
Let be a presheaf category, and let be a functor such that for any family of objects of , and (letting vary between and ), is a parametric left adjoint, that is, the induced functor
admits a right adjoint.
Let denote the -fold diagonal functor. Let . Then is it the case that the induced functor
admits a right adjoint?
1 to 1 of 1