Day’s reflection theorem gives conditions under which a reflective subcategory of a symmetric monoidal closed category is closed under internal homs (or, more strongly, is an “exponential ideal”). The formulation and efficient proof we give are modeled on some notes by Ross Street.
Let be a fully faithful functor with left adjoint , and suppose given a symmetric monoidal closed structure on with tensor and internal hom . Then for any object of and of , if any one of the following natural transformations is invertible, then all are:
In particular, if is cartesian closed and preserves products, then realizes as an exponential ideal of .
I will put this in later.