Continuity is an Adjoint Functor

DOI10.4169/AMER.MATH.MONTHLY.122.01.70MaRDI QIDQ2941665zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Edward S. Letzter

Publication date 21 August 2015

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1408.2596

zbMATH Keywords

topological spacecategory theorycontinuous mapfunctorsheaf theoryadjoint functorscategoryvector spaceclosed subsetopen subset

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special categories (18B99) Categorical methods in general topology (54B30) Continuous maps (54C05)

Abstract: For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:XightarrowY$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of $Y$. The function $f$ also naturally induces a functor from the category of closed subsets of $Y$ to the category of closed subsets of $X$. Our aim in this expository note is to show that the function $f$ is continuous if and only if the first of the above two functors is a left adjoint to the second. We thereby obtain elementary examples of adjoint pairs (apparently) not part of the standard introductory treatments of this subject.

Recommendations

• scientific article; zbMATH DE number 3927164
• The core of adjoint functors
• scientific article; zbMATH DE number 515385
• Cartesian closed exact completions
• Exponential law for uniformly continuous proper maps
• Preservation of topological properties under exponentiation
• scientific article; zbMATH DE number 5839766
• scientific article; zbMATH DE number 98678
• scientific article; zbMATH DE number 58726
• Adjoint maps between implicative semilattices and continuity of localic maps

Cited in

(2)

• Continuity of the cone functor.
• scientific article; zbMATH DE number 1553615 (Why is no real title available?)

This page was built for publication: Continuity is an Adjoint Functor

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