there's a particular kind of disorientation that only comes from having just enough math grounding that you can stumble across a sentence on wikipedia like
In category theory and the theory of elementary topoi, the universal quantifier can be understood as the right adjoint of a functor between power sets
and get a vague understanding of the relationship being described but not actually one that's solid enough to do anything with