v◦i0=i◦u
U0i0
//
u
T0
v
Ui//T
pOTU →T
(U, T, i, δ)T
Ti(u, v) CRIS(S/Σ,I, γ)
(u, v)
v i = 1 i= 2
i= 3 i= 3
CRIS(S/Σ,I, γ)
T1
Tiτ
CRIS(S/Σ,I, γ)τ(S/Σ,I, γ)CRIS,τ
(u, v):(U0, T 0, i0, δ0)→(U, T, i, δ)Ti
(U0, T 0, i0, δ0)×(U,T,i,δ)(U1, T1, i1, δ1)
CRIS(S/Σ,I, γ)U0×UU1→T0×TT1
CRIS(S/Σ,I, γ)τ
F(U,T,δ)τ T (U, T, δ)
ρ(u,v):v−1F(U,T,δ)−→ F(U0,T 0,δ0)(u, v):(U0, T 0, δ0)→(U, T, δ)
v−1
ρ(id,id) = id
ρ(uu0,vv0)=ρ(u0,v0)◦(v0)−1ρ(u,v)
ρ(u,v)(u, v)∈Ti
(S/Σ,I, γ)τOS/Σ
Γ((U, T, δ),OS/Σ) = Γ(T, OT).
IS/Σ
Γ((U, T, δ),IS/Σ) = ker(Γ(T, OT)→Γ(U, OU)).
O×
S/ΣΓ((U, T, δ),O×
S/Σ) = Γ(T, OT)×