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.
stub for coherent (infinity,1)-topos, just to record the pointers to the DAGs.
(Thanks to Marc Hoyois for pointing out the hidden proposition in DAG XIII…)
I added the actual definition of coherent from DAG, the fact that finitary sites give rise to coherent topoi, and the example of the Zariski site of a scheme.
Thanks! Excellent.
I have just trivially added some more hyperlinks.
1 to 3 of 3