pith. sign in

arxiv: 1408.2596 · v1 · pith:YOIQAOFWnew · submitted 2014-08-12 · 🧮 math.CT

Continuity is an adjoint functor

classification 🧮 math.CT
keywords categoryclosedsubsetsadjointfunctionfunctorcontinuousinduces
0
0 comments X
read the original abstract

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.