But what if I have not the abilities or capacities of delving deeper into topos theory and sheaves? Does the deep connection between logic and geometry have to remain a mistery for me forever?
At which level of abstraction and sophistication can this connection be recognized for the first time?
And which seemingly superficial analogies have really to do with this "deep connection"?
What comes to my mind is, that both logic (the realm of linguistic representations) and geometry (the realm of graphical representations) have to do with - representations. Is this of any relevance?