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. king-of-the-monkeys reblogged this from isomorphismes
  3. isomorphismes posted this