(B 0 (j) p ,t ,,B0) on A(B0) is cover-like. We J refer to this as the assigned cover of B0. Proof: Let 0 be the indicated family. For k € A(B 0 ), (B0( j,k) p ,p k p ) is known to be an example of tj c " 1 (B 0 (j) p ,t A. When j = k, p^ is a covering morphism. 2: Let Covp be the class of subsets of Mor(Can) which are commonly supported and cover-like. Then Covp is a Grothendieck topology for Can.
Rated 5 – based on votes of