Continuity is an adjoint functor

Edward S. Letzter

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X\to Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphis…