The category of presheaves are cartesien closed

We will prove the title by using coend calculus, as hinted in Coend Calculus by Fosco Loregian.

For consistence let’s first formulate what to prove:

Theorem. For any (small) category $𝐂$ , its presheaf category $\hat{𝐂} ≔ [𝐂^{o p}, S e t]$ is cartesien closed, i.e., for any presheaves $𝑃, 𝑄, 𝑅 \in \hat{𝐂}$ , there exist a exponential object $𝑅^{𝑄}$ whi is right adjoint to product:

\hat{𝐂} (𝑃 \times 𝑄, 𝑅) ≅ \hat{𝐂} (𝑃, 𝑅^{𝑄});

proof: Denoting the standard yoneda embedding as $𝐲_{-}$ , we now define exponential object $𝑃^{𝑄}$ is as $𝑃^{𝑄} (𝑐) ≔ \hat{𝐂} (𝐲_{𝑐} \times 𝑄, 𝑅)$ .

The theorems/propositions in the comments after each equation are all in the book Coend Calculus, and

\begin{aligned} \hat{𝐂} (𝑃, \hat{𝐂} (𝐲_{()} \times 𝑄, 𝑅)) & ≅ \int_{𝑐} S e t (𝑃 𝑐, \hat{𝐂} (𝐲_{𝑐} \times 𝑄, 𝑅)) & (By Thm 1.4.1) \\ ≅ \int_{𝑐} S e t (𝑃 𝑐, \int_{𝑥} S e t (𝐂 (𝑥, 𝑐) \times 𝑄 𝑥, 𝑅 𝑥)) & (By Thm 1.4.1) \\ ≅ \int_{𝑐} \int_{𝑥} S e t (𝑃 𝑐, S e t (𝐂 (𝑥, 𝑐) \times 𝑄 𝑥, 𝑅 𝑥)) & (Representables preserve limits) \\ ≅ \int_{𝑥} \int_{𝑐} S e t (𝑃 𝑐, S e t (𝐂 (𝑥, 𝑐) \times 𝑄 𝑥, 𝑅 𝑥)) & (By Thm 1.3.1) \\ ≅ \int_{𝑥} \int_{𝑐} S e t (𝑃 𝑐 \times 𝐂 (𝑥, 𝑐), S e t (𝑄 𝑥, 𝑅 𝑥)) & (Set is cartesien closed) \\ ≅ \int_{𝑥} S e t (\int^{𝑐} 𝑃 𝑐 \times 𝐂 (𝑥, 𝑐), S e t (𝑄 𝑥, 𝑅 𝑥)) & (Representables turn colimts into limits) \\ ≅ \int_{𝑥} S e t (𝑃 𝑥, S e t (𝑄 𝑥, 𝑅 𝑥)) & (By Prop 2.2.1) \\ ≅ \int_{𝑥} S e t (𝑃 𝑥 \times 𝑄 𝑥, 𝑅 𝑥) & (Set is cartesien closed) \\ ≅ \hat{𝐂} (𝑃 \times 𝑄, 𝑅) & (By Thm 1.4.1) \end{aligned}

QED.

Source of TeX:

\begin{align}
\hat{\mathbf{C}}(P, \hat{\mathbf{C}}(\mathbf{y}_ {()} \times Q, R)) & \cong \int_c {\rm Set}(Pc, \hat{\mathbf{C}}(\mathbf{y}_c \times Q, R))  &(\text{By Thm 1.4.1}) \\
     & \cong \int_c {\rm Set} (Pc, \int_x {\rm Set}(\mathbf{C}(x, c) \times Qx, Rx)) &(\text{By Thm 1.4.1}) \\
     & \cong \int_c\int_x {\rm Set} (Pc,  {\rm Set}(\mathbf{C}(x, c) \times Qx, Rx)) &(\text{Representables preserve limits}) \\
     & \cong \int_x\int_c {\rm Set} (Pc,  {\rm Set}(\mathbf{C}(x, c) \times Qx, Rx)) &(\text{By Thm 1.3.1}) \\
     & \cong \int_x\int_c {\rm Set} (Pc \times \mathbf{C}(x, c), {\rm Set} (Qx, Rx)) &(\text{Set is cartesien closed}) \\
     & \cong \int_x {\rm Set} (\int^c Pc \times \mathbf{C}(x, c), {\rm Set} (Qx, Rx)) &(\text{Representables turn colimts into limits}) \\
     & \cong \int_x {\rm Set} (Px, {\rm Set} (Qx, Rx)) &(\text{By Prop 2.2.1}) \\
     & \cong \int_x {\rm Set} (Px \times Qx, Rx) &(\text{Set is cartesien closed}) \\
     & \cong \hat{\mathbf{C}}(P \times Q, R) &(\text{By Thm 1.4.1}) \\
        
\end{align}