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

### Like this:

Like Loading...

*Related*

Tags: adjoint, adjoint functors, category theory, functor, logic, math, mathematics, maths, topology

This entry was posted on February 9, 2012 at 5:00 pm and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

## Leave a Reply