nLab exponential ideal

Contents

Contents

Definition

A class II of objects in a cartesian closed category CC is called an exponential ideal if whenever YIY\in I and XCX\in C, the exponential object Y XY^X is in II.

Properties

Theorem

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

This appears for instance as (Johnstone, A4.3.1); it can also been seen as a consequence of Day's reflection theorem. See also at reflective subuniverse. Note that in this case II is itself a cartesian closed category, since being a reflective subcategory it is also closed under finite products.

References

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

Last revised on May 26, 2023 at 04:47:25. See the history of this page for a list of all contributions to it.