exponential ideal

A class $I$ of objects in a cartesian closed category $C$ is called an **exponential ideal** if whenever $Y\in I$ and $X\in C$, the exponential object $Y^X$ is in $I$.

If $I \hookrightarrow C$ is a reflective subcategory, then it is an exponential ideal if and only if its reflector $C\to I$ preserves finite products.

This appears for instance as (Johnstone, A4.3.1). See also at *reflective subuniverse*. Note that in this case $I$ is itself a cartesian closed category, since being a reflective subcategory it is also closed under finite products.

The relation of exponential ideals to reflective subcategories is discussed in section A4.3.1 of

Last revised on September 23, 2016 at 13:02:26. See the history of this page for a list of all contributions to it.