I find it intuitive to define a class of categories that have categorical products and exponentials. However, it is not obvious to me why the additional requirement that they have a terminal object makes the class of categories significantly more interesting.
Why don't people instead place more importance in the class of categories that have products and exponentials but not necessarily terminal objects? What does the terminal object bring us?
Context: I'm very new to category theory.