Exponential objects in coreflective or quotient reflective subconstructs: A comparison

DOI10.1023/A:1008674618754MaRDI QIDQ1840729zbMATH OpenOpenAlexFDO

Authors C. Verbeeck, Eva Colebunders

Publication date 30 June 2002

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008674618754

zbMATH Keywords

coreflective subcategoryexponential objectpre-approach spacepretopological spacequotient reflective subcategory

Mathematics Subject Classification ID

Special categories (18B99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Function spaces in general topology (54C35) Metric spaces, metrizability (54E35)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 1258305
• An elementary approach to exponential spaces
• scientific article; zbMATH DE number 1123621
• scientific article; zbMATH DE number 177178
• More on exponential objects in categories of pretopological spaces

Cited in

(3)

• More on exponential objects in categories of pretopological spaces
• On simultaneously reflective and coreflective subconstructs
• scientific article; zbMATH DE number 1123621 (Why is no real title available?)

This page was built for publication: Exponential objects in coreflective or quotient reflective subconstructs: A comparison

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840729)