1) \\( X \times B \rightarrow Y \times B \\)

2) \\( X^B \rightarrow Y^B \\)

3) \\( +(-,3) = p(3) \\) where \\( p(3): \mathbb{N} \rightarrow \mathbb{N} \\) and which sends \\( (b) \mapsto 3 + b \\).

Does \\( (X \rightarrow Y) \times B = X \times B \rightarrow Y \times B \\)?

Does \\( (X \rightarrow Y)^B = X^B \rightarrow Y^B \\)?