Tag Archives: functor

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 … Continue reading

Quote | Posted on by | Tagged , , , , , , , , | Leave a comment

A functor maps dots and arrows (elements and functions), respecting composition. In category theory, there are no disembodied, “objective” things — every Thing must come with an Interpretation.

Image | Posted on by | Tagged , , , , , | Leave a comment