The existential quantifier ∃ of logic (the propositional calculus) and the image operation along a continuous function ƒ from topology turn out to be essentially the same operation: from a categorical point of view they are both adjoint functors.
Steve Awodey, Category Theory (2010)
(I rearranged his words liberally.)
