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.
I have added to (infinity,2)-sheaf a section Examples - Codomain fibration / canonical (∞,2)-sheaf with the statement that for an -topos, the -functor
is always an -sheaf with respect to the canonical topology.
(It’s the -sheaf of “unstable quasicoherent -sheaves”!)
Chris Kapulking kindly points out to me that somebody has finally written down the “local Joyal model structure” on simplicial presheaves, I have added a pointer here: Meadows 15
1 to 2 of 2