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*

## About isomorphismes

Argonaut: someone engaged in a dangerous but potentially rewarding adventure.