Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeNov 22nd 2012

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).

1. Added to locally cartesian closed category the down-to-earth example of the inner hom in the slice category $Set/X$.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeDec 30th 2013

Thanks for this and all the other edits!