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 to hypercomplete (infinity,1)-topos a comment on how classical topos theory models these
(motivated from our discussion here)
created hypercomplete object
(Incidentally, the problem with your first comment is the ampersand in the URL. As you’re using Markdown, the easiest way to avoid this problem is to include links using Markdown’s syntax. Thus “(motivated from our discussion here)”.)
As you’re using Markdown, the easiest way to avoid this problem is to include links using Markdown’s syntax.
Thanks, Andrew, I’ll try to remember that. But that first comment was written and displayed correctly before the software was changed.
Statement and proof of the main proposition in the section on models.
(Needs a bit of polishing and deserves a bit of expansion here and there, but have to run now.)
hm, the \widehat-notation comes out almost invisible…
I agree on the \widehat - I tried using it elsewhere and it was indistinguishable from \hat.
I have typed out (even) more details of the proof that the Joyal-Jardine model structure presents hypercomplete (oo,1)-toposes here.
True, that was hidden a bit between the lines. I have now added more clarifying (hopefully) comments here.
1 to 10 of 10