Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added cross-links of this ancient entry with higher topos theory and with 2-topos etc.
Notice that there is an old unresolved discussion box here.
i am removing the following old query box from the entry:
+– {: .query} When you say ’a locale is not identical to its topos of sheaves’, you mean that the following square cannot be filled in with an equivalence in $2 Cat$?
$\array { (0,1) Top & \overset{topos\:of\:sheaves}\longrightarrow & (1,1) Top \\ \downarrow & & \downarrow \\ (0,1) Cat & \longrightarrow & 1 Cat }$—Toby =–
But the answer to the question is: “Yes”; and maybe it’s really worth making this explicit: So I have kept the diagram in the entry, now re-rendered via tikzcd
.
1 to 2 of 2