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.
In locally cartesian closed category, I wrote out an explicit proof that pullback functors $f^\ast \colon C/Y \to C/X$ between slices preserve exponentials (so that Frobenius reciprocity is satisfied).
Added to locally cartesian closed category the down-to-earth example of the inner hom in the slice category $Set/X$.
Thanks for this and all the other edits!
1 to 3 of 3