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.
Also added pointer to p. 12
for the suggestion that the term “quasi-topos” might have been inspired by Spanier’s example.
While I was at it I have
adjusted the lead-insentences a little for better flow,
added a bunch of hyperlinks to keywords,
added cross-links back to here from places like conventient category of topological spaces
added a floating context menu.
Spanier doesn’t use the Grothendieck topology of open covers (open subsets of compact Hausdorff spaces typically aren’t compact Hausdorff themselves), but rather the topology of finite surjective families.
According to Yamazaki, condensed sets can also be defined as certain sheaves on this site (https://ncatlab.org/nlab/revision/condensed+set/31#equivalence_of_sites); is there a nice relation between the two concepts?
1 to 3 of 3