In Mac Lane's CT text, he defines a cartesian closed category to be one which admits right adjoints to the functors
$$
\textbf{1}: C \to \textbf{1} \quad \Delta:C \to C \times C \quad (-)\times B: C \to C
$$
where $\textbf{1}$ sends everything to one object, $\Delta(c) = (c, c)$ is the diagonal functor, and $(-)\times B$ maps $A \mapsto A \times B$.
My understanding is that this is equivalent to saying a category $C$ is cartesian closed when there's a terminal object $T$, $C$ has finite products, and $C$ has exponentials objects.
My question:
What is the purpose of an exponential object?
I understand what the exponential object is and how it works. But, based on the name Cartesian Closed Category, it seems like we're trying to generalize the idea of taking arbitrary products in our category, and making sure it's still in our category (like we do in Set and Top, since we can take arbitrary products of sets and topological spaces to return a set and a topological space (perhaps I'm missing the point here, and this is not what we're trying to generalize, so correct me if I'm wrong).)
So, what does an exponential object really offer us (other than currying)?
Best Answer
Exponentials are the "closed" part of cartesian closed categories. The term "closed category" was first introduced in Eilenberg and Kelly's 1966 paper Closed Categories, where they're seen as generally the sort of thing that a category can be enriched over.
(notation slightly altered for clarity)
The "closedness" of the category is that taking the morphisms between two objects gives another morphism in the same category, rather than the category of sets or some other category. This object of morphisms between two objects is the "internal Hom-functor" referred in the quote above and is precisely what the exponential is in cartesian closed categories.
For a complete definition of closed category, check out that paper (which uses fairly dated notation, but has lots of good examples) or the nLab page closed category.