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.
have added pointer to
which has been missing also in a number of related entries.
Is this the first use of the terminology “-topos”, by a margin? And it seems all the ideas are in there, in a kind of model topos-form (am adding the pointer there, too).
while I was at it, I have boosted the list of early reference a little more (here). For instance where a “letter to Grothendieck” was mentioned, I added the point to Joyal’s letter, and then also added pointer to Jardine’s early article, for completeness on this point of model categories of simplicial presheaves.
I have replaced the (brief) section on powering (which essentially just said it exists) and half of the following section on cartesian closure (the half that talked about the internal hom preserving limits also in the first argument) with the new !include
-section powering of ∞-toposes over ∞-groupoids – section.
added pointer to:
1 to 9 of 9