decomposition of hom-functors in a self-enriched category

81 Views Asked by At

Let $\mathbb{C}$ be a self-enriched category (such as Set).

The Functor $\mathbb{C}(X, \mathbb{C}(Y,\_))$ is the same than the composition of functors $\mathbb{C}(X,\_) \circ \mathbb{C}(Y,\_)$.

In a similar manner, how can the functor $\mathbb{C}(\mathbb{C}(X,\_), \mathbb{C}(\mathbb{C}(Y,\_),\_))$ be rewritten as a composition of hom-functors?