Questions tagged [cartesian-closed-categories]
The cartesian-closed-categories tag has no usage guidance.
1 questions from the last 30 days
6
votes
1
answer
139
views
Condition for a functor to induce a cartesian closed functor between categories of presheaves
We denote the category of presheaves on a small category ${\cal C}$ (set-valued functor-category) by $$\widehat{\cal C}:=[{\cal C}^{op},{\bf Set}].$$
Such a category is cartesian closed, i.e. it ...
- 567