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.
Articles by others on the same topic
There are currently no matching articles.