New answers tagged cartesian-closed-categories
4
votes
Condition for a functor to induce a cartesian closed functor between categories of presheaves
Here is an observation you already almost made: since $F^*$ has a left adjoint $F_!$ given by left Kan extension, $F^*$ preserves exponential objects if and only if $F_!$ preserves products.
Note that ...
- 189
Top 50 recent answers are included