Add redirect from Cisinski. Cosmetic edits (accented characters, spacing).
]]>The introduction of Cisinki’s main work on test categories, Les préfaisceaux…, contains various remarks on test topoi
Ah, there you go. Thanks. I’ll add a pointer to that, then.
]]>The introduction of Cisinki’s main work on test categories, Les préfaisceaux…, contains various remarks on test topoi (explicitly mentioned). Some of the things he mentions, such as the relationship to internal presheaves, are discussed in the unpublished note I linked to.
]]>Thanks. But who says “test topos”? (Or topos test, for that matter?) The document you point to talks, besides catégories test, about localisateur test and catégorie test locale.
]]>Cisinski has, or at least had, an unpublished but quite long note on test topoi on his webpage. This is the only reference I’m aware of.
]]>Under “related entries” there was a requested link to “test topos”. I have removed that, as the page doesn’t exist and the link was broken and looked bad.
Incidentally, Google gives me a single relevant hit for “test topos”, and that’s just an informal usage in passing: by Duskin (2013) on p. 7 here.
Of course, if anyone goes and creates a page for test toposes now that cites Denis-Charles, then let’s put the pointer back.
]]>I added a reference to the notes
to relevant pages like quasi-category, (infinity,1)-topos, (infinity,1)-category of (infinity,1)-sheaves.
]]>created website-link page Denis-Charles Cisinski
]]>