Exponentials in a left-exact reflective subcategory

ID: exponentials-in-a-left-exact-reflective-subcategory

For a left-exact reflective subcategory of a Cartesian closed category, an ambient exponential is already fixed by the reflector when are fixed. Indeed maps into transpose to maps from into , and reflection gives . Precomposition with the reflection unit is therefore bijective for maps into , characterizing a fixed object.

New to topics? Read the docs here!