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.)

42 notes

  1. felper reblogged this from isomorphismes
  2. euhemeric reblogged this from isomorphismes
  3. isomorphismes posted this