Quantcast

Posted on Thursday, 9 February 2012

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)

imageimage

(I rearranged his words liberally.)

41 notes

  1. teagea reblogged this from felper
  2. felper reblogged this from isomorphismes
  3. erdosismycopilot reblogged this from isomorphismes
  4. isomorphismes posted this