Exponential objects in coreflective or quotient reflective subconstructs: A comparison (Q1840729)

It is shown that in the category PRAP of pre-approach spaces the class ExpPRAP of exponential objects (i.e. objects \(X\) for which the functor ``product with \(X\)'' has a right adjoint) completely determines the exponential objects in certain subcategories. It is shown that the collection Exp\(B\) of exponential objects in every coreflective subcategory \(B\) is contained in ExpPRAP. As a consequence Exp\(B=B \cap\)ExpPRAP for any \(B\) that is coreflective and finitely productive. The same equality is shown to hold for non-trivial quotient reflective subcategories. These results are related to the pretopological space and topological space cases.