Timeline for Finitely continuous fibrant replacement functor for localization of simplicial presheaves with projective model structure
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 26, 2023 at 9:55 | history | edited | Arshak Aivazian | CC BY-SA 4.0 |
added 36 characters in body
|
| May 26, 2023 at 9:32 | comment | added | Dmitri Pavlov | In the case of ∞-toposes modeled by the local projective model structure, the existence of such a fibrant replacement functor can be deduced from the explicit construction of the associated ∞-sheaf given by the Verdier hypercovering theorem. | |
| May 26, 2023 at 2:38 | comment | added | Zhen Lin | Is there any reason to expect this to be true? (There is one obstruction I can think of: if finitary products are not homotopical then there cannot even be a fibrant replacement functor that preserves finitary products.) | |
| May 26, 2023 at 1:18 | history | asked | Arshak Aivazian | CC BY-SA 4.0 |