Why are toposes usually denoted by $\mathcal E$?
My guess would be that $\mathcal E$ stands for elementary topos. But I often see people denoting even Grothendieck toposes by $\mathcal E$ (in contexts where elementary toposes aren't discussed at all).