Skip to main content
deleted 94 characters in body
Source Link
Nicky
  • 365
  • 1
  • 7

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_0^{\tau}$$\pi_n^{\tau}$ be the $\tau$-homotopy sheaves for which $\pi_0^{\tau}(X)$ is the sheafification of the presheaf $U\mapsto [U,X] $, where $[-,-]$ is the homotopy class of the $\tau$-local model category (the hom-set in the homotopy category).defined as followenter image description here

Does $\pi_0^{\tau}$$\pi_n^{\tau}$ commute with group completion $\Omega B(-)$? $\pi_0^{\tau}$$\pi_n^{\tau}$ commutes with $\Omega$ since sheafification functor is exact and the hom-functor commute with limits, but how about the classifying space functor $B$?

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_0^{\tau}$ be the $\tau$-homotopy sheaves for which $\pi_0^{\tau}(X)$ is the sheafification of the presheaf $U\mapsto [U,X] $, where $[-,-]$ is the homotopy class of the $\tau$-local model category (the hom-set in the homotopy category).

Does $\pi_0^{\tau}$ commute with group completion $\Omega B(-)$? $\pi_0^{\tau}$ commutes with $\Omega$ since sheafification functor is exact and the hom-functor commute with limits, but how about the classifying space functor $B$?

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_n^{\tau}$ be the $\tau$-homotopy sheaves defined as followenter image description here

Does $\pi_n^{\tau}$ commute with group completion $\Omega B(-)$? $\pi_n^{\tau}$ commutes with $\Omega$ since sheafification functor is exact and the hom-functor commute with limits, but how about the classifying space functor $B$?

added 305 characters in body
Source Link
Nicky
  • 365
  • 1
  • 7

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_n^{\tau}$$\pi_0^{\tau}$ be the $\tau$-homotopy sheaves for which $\pi_0^{\tau}(X)$ is the sheafification of the presheaf $U\mapsto [U,X] $, where $[-,-]$ is the homotopy class of the $\tau$-local model category (the hom-set in the homotopy category). 

Does $\pi_n^{\tau}$$\pi_0^{\tau}$ commute with group completion $\Omega B(-)$? $\pi_0^{\tau}$ commutes with $\Omega$ since sheafification functor is exact and the hom-functor commute with limits, but how about the classifying space functor $B$?

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_n^{\tau}$ be the $\tau$-homotopy sheaves. Does $\pi_n^{\tau}$ commute with group completion $\Omega B(-)$?

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_0^{\tau}$ be the $\tau$-homotopy sheaves for which $\pi_0^{\tau}(X)$ is the sheafification of the presheaf $U\mapsto [U,X] $, where $[-,-]$ is the homotopy class of the $\tau$-local model category (the hom-set in the homotopy category). 

Does $\pi_0^{\tau}$ commute with group completion $\Omega B(-)$? $\pi_0^{\tau}$ commutes with $\Omega$ since sheafification functor is exact and the hom-functor commute with limits, but how about the classifying space functor $B$?

Source Link
Nicky
  • 365
  • 1
  • 7

Does a homotopy sheaf functor commute with group completion

Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_n^{\tau}$ be the $\tau$-homotopy sheaves. Does $\pi_n^{\tau}$ commute with group completion $\Omega B(-)$?