Skip to main content
added 259 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

Given a category $C$, and a familly of co-cone in $C$ (you can take all colimit cocone in $C$ if you want - the family doesn't even have to be small) there is a smallest topology on $C$ so that sheaves for this topology sends these cocone to limit cones.

The detail of the construction below should also give some answer to your question 1.

For each of the special cocone $F:I^\triangleright \to C$, we consider the map $colim_I F \to F(*)$ in the category $P(C)$ of presheaves over $C$. A presheaf sends this cocone to a colimit if and only if it is right orthogonal to this map. A Grothendieck topology is the same as a left exact localization of $P(C)$, so we are looking for the smallest left exact localization that inverse these maps.

A Grothendieck topology invert a map $f:X \to Y$ if and only if it invert the two monomorphism $Im(f) \to Y$ and $X \to X \times_Y X$ and it inverts a monomorphism $A \hookrightarrow X$ if and only if for each representable $c$ and each map $c \to X$ (that each element of $X(c)$) the Sieve on $c$ obtain as the pullback of $A \to X$ is a covering sieve.

So, putting everything together, saying that some class of maps $colim_I F \to F(*)$ is inverted by the topology (that is that sheaves sends the corresponds cocone to a limit cone) can be written as a fact that a bunch of sieve are covering sieve. and hence there is a smallest topology which satisfies these conditions. (the Grothendieck topology generated by those sieve).

Of course this topology has no reason to be subcanonical in general. For example, assuming that the category $C$ has pullback, this topology being subcanonical implies in particular that colimits in $C$ are universal (and this is probably not sufficient).

Given a category $C$, and a familly of co-cone in $C$ (you can take all colimit cocone in $C$ if you want - the family doesn't even have to be small) there is a smallest topology on $C$ so that sheaves for this topology sends these cocone to limit cones.

The detail of the construction below should also give some answer to your question 1.

For each of the special cocone $F:I^\triangleright \to C$, we consider the map $colim_I F \to F(*)$ in the category $P(C)$ of presheaves over $C$. A presheaf sends this cocone to a colimit if and only if it is right orthogonal to this map. A Grothendieck topology is the same as a left exact localization of $P(C)$, so we are looking for the smallest left exact localization that inverse these maps.

A Grothendieck topology invert a map $f:X \to Y$ if and only if it invert the two monomorphism $Im(f) \to Y$ and $X \to X \times_Y X$ and it inverts a monomorphism $A \hookrightarrow X$ if and only if for each representable $c$ and each map $c \to X$ (that each element of $X(c)$) the Sieve on $c$ obtain as the pullback of $A \to X$ is a covering sieve.

So, putting everything together, saying that some class of maps $colim_I F \to F(*)$ is inverted by the topology (that is that sheaves sends the corresponds cocone to a limit cone) can be written as a fact that a bunch of sieve are covering sieve. and hence there is a smallest topology which satisfies these conditions. (the Grothendieck topology generated by those sieve).

Given a category $C$, and a familly of co-cone in $C$ (you can take all colimit cocone in $C$ if you want - the family doesn't even have to be small) there is a smallest topology on $C$ so that sheaves for this topology sends these cocone to limit cones.

The detail of the construction below should also give some answer to your question 1.

For each of the special cocone $F:I^\triangleright \to C$, we consider the map $colim_I F \to F(*)$ in the category $P(C)$ of presheaves over $C$. A presheaf sends this cocone to a colimit if and only if it is right orthogonal to this map. A Grothendieck topology is the same as a left exact localization of $P(C)$, so we are looking for the smallest left exact localization that inverse these maps.

A Grothendieck topology invert a map $f:X \to Y$ if and only if it invert the two monomorphism $Im(f) \to Y$ and $X \to X \times_Y X$ and it inverts a monomorphism $A \hookrightarrow X$ if and only if for each representable $c$ and each map $c \to X$ (that each element of $X(c)$) the Sieve on $c$ obtain as the pullback of $A \to X$ is a covering sieve.

So, putting everything together, saying that some class of maps $colim_I F \to F(*)$ is inverted by the topology (that is that sheaves sends the corresponds cocone to a limit cone) can be written as a fact that a bunch of sieve are covering sieve. and hence there is a smallest topology which satisfies these conditions. (the Grothendieck topology generated by those sieve).

Of course this topology has no reason to be subcanonical in general. For example, assuming that the category $C$ has pullback, this topology being subcanonical implies in particular that colimits in $C$ are universal (and this is probably not sufficient).

Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

Given a category $C$, and a familly of co-cone in $C$ (you can take all colimit cocone in $C$ if you want - the family doesn't even have to be small) there is a smallest topology on $C$ so that sheaves for this topology sends these cocone to limit cones.

The detail of the construction below should also give some answer to your question 1.

For each of the special cocone $F:I^\triangleright \to C$, we consider the map $colim_I F \to F(*)$ in the category $P(C)$ of presheaves over $C$. A presheaf sends this cocone to a colimit if and only if it is right orthogonal to this map. A Grothendieck topology is the same as a left exact localization of $P(C)$, so we are looking for the smallest left exact localization that inverse these maps.

A Grothendieck topology invert a map $f:X \to Y$ if and only if it invert the two monomorphism $Im(f) \to Y$ and $X \to X \times_Y X$ and it inverts a monomorphism $A \hookrightarrow X$ if and only if for each representable $c$ and each map $c \to X$ (that each element of $X(c)$) the Sieve on $c$ obtain as the pullback of $A \to X$ is a covering sieve.

So, putting everything together, saying that some class of maps $colim_I F \to F(*)$ is inverted by the topology (that is that sheaves sends the corresponds cocone to a limit cone) can be written as a fact that a bunch of sieve are covering sieve. and hence there is a smallest topology which satisfies these conditions. (the Grothendieck topology generated by those sieve).