Assertion: existential quantifier | /r/HasProperty | understood as left adjoint of a functor
Facets:
value: in category theory
type: OTHER
value: in the theory of elementary topoi
type: OTHER
Source sentences:
text: In category theory and the theory of elementary topoi, the existential quantifier can be understood as the left adjoint of a functor between power sets, the inverse image functor of a function between sets; likewise, the universal quantifier is the right adjoint.